Relational parametricity is a fundamental concept within theoretical computer science and the foundations of programming languages, introduced by John Reynolds [6]. His fundamental insight was that types can be interpreted not just as functors on the category of sets, but also as equality preserving functors on the category of relations. This gives rise to a model where polymorphic functions ar...

Finite Model Theory and Finite Variable Logics Eric Rosen Supervisor: Scott Weinstein In this dissertation, I investigate some questions about the model theory of nite structures. One goal is to better understand the expressive power of various logical languages, including rst-order logic (FO), over this class. A second, related, goal is to determine which results from classical model theory re...

In this paper, we prove a fixed point theorem for a pair of generalized weakly contractive mappings in complete partial metric spaces. The theorems presented are generalizations of very recent fixed point theorems due to Abdeljawad, Karapinar and Tas. To emphasize the very general nature of these results, we illustrate an example.

In this manuscript, we prove some coupled fixed point theorems for two pairs of self mappings satisfying contractive conditions of integral type in generalized metric spaces. We furnish suitable illustrative examples. In this manuscript, we prove some coupled fixed point theorems for two pairs of self mappings satisfying contractive conditions of integral type in generalized metric spaces. We f...

Motivated by Samet et al. [Nonlinear Anal., 75(4) (2012), 2154-2165], we introduce the notions of $alpha$-$phi$-fuzzy contractive mapping and $beta$-$psi$-fuzzy contractive mapping and prove two theorems which ensure the existence and uniqueness of a fixed point for these two types of mappings. The presented theorems extend, generalize and improve the corresponding results given in the literature.

In this paper, we first establish a new fixed point theorem for a Meir-Keeler type condition. As an application, we derive a simultaneous generalization of Banach contraction principle, Kannan's fixed point theorem, Chatterjea's fixed point theorem and other fixed point theorems. Some new fixed point theorems are also obtained.

In this article to prove existence of solution of infinite system of nonlinear integral equations, we consider the space of solution containing all convergence sequences with a finite limit, as with a suitable norm is a Banach space. By creating a generalization of Meir-Keeler condensing operators which is named as F-generalized Meir-Keeler condensing operators and measure of noncompactness, we...

This article will introduce an inventory model for deteriorating items under a ramp-type demand rate. In the sequel, preservation technology has appeared to reduce deterioration rate of items. The is considered time-dependent. Due demand, retailers may face complete and partial backlogged shortages. We suggest two-warehouse effect when retailer faces storage capacity problem. this model, it wou...