On Tarski’s fixed point theorem

DOI10.1090/PROC/12569zbMATH Open1352.03075arXiv1301.2793OpenAlexW1820081687MaRDI QIDQ2944797FDOQ2944797

Authors: Giovanni Curi 

Publication date: 8 September 2015

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1301.2793

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

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)

Cites Work

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

Cited In (16)

• The knaster-tarski fixed-point theorem is not uniformly constructive
• Towards formal Baer criteria
• 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)