On Tarski’s fixed point theorem
From MaRDI portal
Publication:2944797
DOI10.1090/proc/12569zbMath1352.03075arXiv1301.2793OpenAlexW1820081687MaRDI QIDQ2944797
Publication date: 8 September 2015
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1301.2793
Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)
Related Items (7)
ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS ⋮ ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS ⋮ On Small Types in Univalent Foundations ⋮ A companion preorder to \(G\)-majorization and a Tarski type fixed-point theorem Section: convex analysis ⋮ Maximal elements with minimal logic ⋮ Constructive strong regularity and the extension property of a compactification ⋮ Towards formal Baer criteria
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Topological inductive definitions
- Aspects of predicative algebraic set theory. II: Realizability
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
- Constructivism in mathematics. An introduction. Volume I
- The strength of some Martin-Löf type theories
- CZF and second order arithmetic
- Aspects of general topology in constructive set theory
- Heyting-valued interpretations for constructive set theory
- On the existence of Stone-Čech compactification
- ABOUT MODEST SETS
- On some peculiar aspects of the constructive theory of point-free spaces
- On the regular extension axiom and its variants
- A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
- Intuitionistic sets and ordinals
This page was built for publication: On Tarski’s fixed point theorem