Results 11 to 20 of about 5,766,109 (87)
Tarski's least fixed point theorem: A predicative type theoretic formulation [PDF]
We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of (higher) inductive types, we can avoid complicated set theoretic constructions.
Ray, Ian
core +4 more sources
TARSKI’S FIXED POINT THEOREM IN DEDEKIND CATEGORIES
TARSKI’S FIXED POINT THEOREM IN DEDEKIND CATEGORIESTarski's fixed point theorem for complete lattices is a fundamental theorem in lattice theory and is very useful for computer science applications. This paper will show a general result in Dedekind categories, which extends the Tarski's theorem.
Honda, Kazumasa +3 more
openaire +2 more sources
UNIQUE FIXED POINT THEOREMS FOR CONTRACTIVE MAPS TYPE IN T 0 -QUASI-METRIC SPACES [PDF]
, 2014 In [2], Agyingi proved that every generalized contractive mapping defined in a q-spherically complete T 0 -ultra-quasi-metric space has a unique fixed point.
Yae ́ Ulrich Gaba
core +1 more source
Some Fixed Point Theorems in Fuzzy n-Normed Spaces [PDF]
, 2010 The main purpose of this paper is to study the existence of a fixed points in fuzzy n-normed spaces. we proved our main results, a fixed point theorem for a self mapping and a common fixed point theorem for a pair of weakly compatible mappings on fuzzy n-
Rahmat, Mohamad Rafi Segi +1 more
core +1 more source
Lefschetz fixed point theorem for digital images [PDF]
, 2013 In this article we study the fixed point properties of digital images. Moreover, we prove the Lefschetz fixed point theorem for a digital image. We then give some examples about the fixed point property.
Ozgur Ege +3 more
core +1 more source
Tarski's Undefinability Theorem and Diagonal Lemma [PDF]
, 2020 We prove the equivalence of the semantic version of Tarski's theorem on the undefinability of truth with a semantic version of the Diagonal Lemma, and also show the equivalence of syntactic Tarski's Undefinability Theorem with a weak syntactic diagonal ...
Salehi, Saeed
core +1 more source
On the Existential Theory of the Completions of a Global Field
Mathematische Nachrichten, Volume 299, Issue 9, Page 2680-2692, September 2026.ABSTRACT We discuss the common existential theory of all or almost all completions of a global function field.
Philip Dittmann, Arno Fehm
wiley +1 more source
Weak, Strong and Mixed Extensions of Relations to Spaces of Ultrafilters
Mathematical Logic Quarterly, Volume 72, Issue 3, August 2026.ABSTRACT The use of nonstandard methods to characterize properties of weak, strong and mixed extensions of congruences to ultrafilters has been the main topic of several recent papers, focused mostly on congruences and divisions. We show that similar methods can be used to extend these characterizations to arbitrary relations and their interplay.
Leonardo Raffaello Maximilian Gasparro +1 more
wiley +1 more source
Mathematical Finance, Volume 36, Issue 3, Page 595-619, July 2026.ABSTRACT We introduce a dynamic and stochastic interbank model with an endogenous notion of distress contagion, arising from rational worries about future defaults and ensuing losses. This entails a mark‐to‐market valuation adjustment for interbank claims, leading to a forward‐backward approach to the equilibrium dynamics whereby future default ...
Zachary Feinstein, Andreas Søjmark
wiley +1 more source
Philosophy and Phenomenological Research, Volume 113, Issue 1, Page 134-152, July 2026.ABSTRACT Determinism is (roughly) the thesis that the past determines the future. But efforts to define it precisely have exposed deep methodological disagreements. Standard possible‐worlds formulations of determinism presuppose an “agreement” relation between worlds, but this relation can be understood in multiple ways, none of which is particularly ...
Hans Halvorson +2 more
wiley +1 more source