Monotone Relations, Fixed Points and Recursive Definitions

DOI10.1007/978-1-4020-9084-4_7zbMATH Open1163.06001OpenAlexW137446698MaRDI QIDQ3600566FDOQ3600566

Authors Janusz Czelakowski

Publication date 5 February 2009

Published in Towards Mathematical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4020-9084-4_7

zbMATH Keywords

fixed pointdefinabilitymonotone relationarithmetic recursionchain-\(\sigma\)-continuous

Mathematics Subject Classification ID

Partial orders, general (06A06) Basic properties of first-order languages and structures (03C07) Axiom of choice and related propositions (03E25) Computability and recursion theory (03D99)

Recommendations

• On Tarski’s fixed point theorem
• Some Fixed Point Basics
• A note on the Knaster-Tarski fixpoint theorem
• scientific article; zbMATH DE number 880230
• scientific article; zbMATH DE number 2037780

Cites work

• scientific article; zbMATH DE number 3758994 (Why is no real title available?)
• scientific article; zbMATH DE number 47597 (Why is no real title available?)
• scientific article; zbMATH DE number 542031 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A uniform approach to inductive posets and inductive closure
• An extension of Tarski's fixed point theorem and its application to isotone complementarity problems
• Chain-complete posets and directed sets with applications
• Fixed-points for relations and the back and forth method
• Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
• Handbook of metric fixed point theory
• Least reflexive points of relations
• Model theory

Cited in

(2)

• Definition of flat poset and existence theorems for recursive call
• Monotone recursive definition of predicates and its realizability interpretation

This page was built for publication: Monotone Relations, Fixed Points and Recursive Definitions

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