Related papers: On Tarski's fixed point theorem

Following standard methods we explore the construction of the discrete Poincare group, the semidirect product of discrete translations and integral Lorentz transformations, using the Wigner-Mackey construction restricted to the momentum and…

This is the first paper in a series on intrinsic Donaldson-Thomas theory, where we develop a new framework for enumerative geometry that allows the generalization of constructions and results from linear moduli stacks to general non-linear…

In this paper we prove a generalization of Istr\u{a}\c{t}escu's theorem for convex contractions. More precisely, we introduce the concept of iterated function system consisting of convex contractions and prove the existence and uniqueness…

Fixed points are a recurring theme in computer science and are often constructed as limits of suitably seeded fixed point iterations. We present the algebra of iterative constructions (AIC) -- a purely algebraic approach to reasoning about…

In this work derivations of definite integrals listed in Prudnikov volume I, Gradshteyn and Ryzhik and a few other tables are produced. Special cases of these integrals in terms of fundamental constants are also evaluated. The method used…

This paper examines the application of Tarski's Undefinability Theorem to first-order arithmetic. The generally accepted view is that for this case the Theorem establishes that arithmetic truth is not arithmetic. A careful examination of…

In this paper, we study the existence of fixed points for mappings defined on complete metric space (X, d) satisfying a general contractive inequality of integral type depended on another function. This conditions is analogous of Banach…

A theoretical approach for a non-perturbative dynamical description of two interacting atoms in an optical lattice potential is introduced. The approach builds upon the stationary eigenstates found by a procedure described in Grishkevich et…

We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in an interactive theorem prover like Coq.

In this paper, first we have established two sets of sufficient conditions for a mapping to have unique fixed point in a intuitionistic fuzzy metric space and then we have redefined the contraction mapping in a intuitionistic fuzzy metric…

We prove a fairly general inequality that estimates the number of lattice points in a ball of positive radius in general position in a Euclidean space. The bound is uniform over lattices induced by a matrix having a bounded operator norm.

The concept of convex compactness, weaker than the classical notion of compactness, is introduced and discussed. It is shown that a large class of convex subsets of topological vector spaces shares this property and that is can be used in…

In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…

Our main theorem is an extension of the well-known Mizoguchi-Takahaashi's fixed point theorem [N. Mizogochi and W. Takahashi, Fixed point theorems for multi-valued mappings on complete metric space, {\it J. Math. Anal. Appl.} 141 (1989)…

This paper is about the study of F-transforms based on overlap and grouping maps, residual and co-residual implicator over complete lattice from both constructive and axiomatic approaches. Further, the duality, basic properties, and the…

We obtain new results on the existence and multiplicity of fixed points of Hammerstein equations in very general cones. In order to achieve this, we combine a new formulation of cones in terms of continuous functionals with fixed point…

In this paper, we show the new fixed point theorem in metric spaces. Furthermore, for this fixed point theorem, we apply to the Collatz conjecture.

We define and study entanglement of continuous positive definite functions on products of compact groups. We formulate and prove an infinite-dimensional analog of Horodecki Theorem, giving a necessary and sufficient criterion for…

We show that the matrix (or more generally tensor) product states in a finite translation invariant system can be accurately constructed from the same set of local matrices (or tensors) that are determined from an infinite lattice system in…

We define and study structural properties of hypergraphs of models of a theory including lattice ones. Characterizations for the lattice properties of hypergraphs of models of a theory, as well as for structures on sets of isomorphism types…