On Tarski’s fixed point theorem

DOI10.1090/PROC/12569MaRDI QIDQ2944797zbMATH OpenOpenAlexFDO

Authors Giovanni Curi

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

zbMATH Keywords

Tarski's fixed point theoreminductive definitionsuniform objectsconstructive set theories

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Complete lattices, completions (06B23) Logical aspects of lattices and related structures (03G10)

Abstract: A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.

Recommendations

• ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
• scientific article; zbMATH DE number 2247249
• scientific article; zbMATH DE number 4148158
• Fixed points and closure operators: Programmological aspects
• A fixedpoint approach to implementing (co)inductive definitions
• scientific article; zbMATH DE number 4193663
• A note on the Knaster-Tarski fixpoint theorem
• Characterizations of conditionally complete partially ordered sets
• Programmological aspects of the fixed point method
• Monotone inductive definitions in a constructive theory of functions and classes

Cites work

• scientific article; zbMATH DE number 3645093 (Why is no real title available?)
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• A classical realizability model arising from a stable model of untyped lambda calculus
• ABOUT MODEST SETS
• Aspects of general topology in constructive set theory
• Aspects of predicative algebraic set theory. II: Realizability
• CZF and second order arithmetic
• Constructivism in mathematics. An introduction. Volume I
• Heyting-valued interpretations for constructive set theory
• Intuitionistic sets and ordinals
• On some peculiar aspects of the constructive theory of point-free spaces
• On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
• On the existence of Stone-Čech compactification
• On the regular extension axiom and its variants
• Realizability for constructive Zermelo-Fraenkel set theory
• The strength of some Martin-Löf type theories
• Topological inductive definitions

Cited in

(16)

• Towards formal Baer criteria
• The knaster-tarski fixed-point theorem is not uniformly constructive
• On Small Types in Univalent Foundations
• On the Proof Theory of Regular Fixed Points
• Monotone inductive definitions in a constructive theory of functions and classes
• A companion preorder to \(G\)-majorization and a Tarski type fixed-point theorem Section: convex analysis
• Unique Tarski Fixed Points
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
• Tarski's fixed point theorem in Dedekind categories
• Maximal elements with minimal logic
• The complexity of Tarski's fixed point theorem
• Constructive strong regularity and the extension property of a compactification
• Monotone Relations, Fixed Points and Recursive Definitions
• A note on the Knaster-Tarski fixpoint theorem
• Constructive proof of fixed-point theorem for complete \(T\)-lattice

This page was built for publication: On Tarski’s fixed point theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2944797)