ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

DOI10.1017/JSL.2018.12MaRDI QIDQ4579812zbMATH OpenOpenAlexWikidataFDO

Authors Gerhard Jäger, Silvia Steila

Publication date 10 August 2018

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/jsl.2018.12

zbMATH Keywords

Kripke-Platek set theory\(\Sigma_1\)-separation\(\Sigma_1\)-subset-bounded separationbounded proper \(\Sigma_1\)-injectionfixed-point axiomset-bounded \(\Sigma_1\)-operator

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Axiomatics of classical set theory and its fragments (03E30) Relative consistency and interpretations (03F25) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Stage comparison, fixed points, and least fixed points in Kripke-Platek environments
• scientific article; zbMATH DE number 1899816
• On some semi-constructive theories related to Kripke-Platek set theory
• Some results on Kripke models over an arbitrary fixed frame
• Note on some fixed point constructions in provability logic
• Kripke-Platek set theory and the anti-foundation axiom
• scientific article; zbMATH DE number 2242586
• AI 2005: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 107665
• scientific article; zbMATH DE number 637397

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Elementary induction on abstract structures
• Explicit mathematics with the monotone fixed point principle
• Explicit mathematics with the monotone fixed point principle. II: Models
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Monotone inductive definitions in explicit mathematics
• Notes on the mathematical aspects of Kripke's theory of truth
• On Feferman's operational set theory \textsf{OST}
• On Tarski’s fixed point theorem
• On nonmonotone inductive definability
• Operational set theory and small large cardinals
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Set theory. An introduction to independence proofs
• The strength of Mac Lane set theory
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

Cited in

(6)

• Stage comparison, fixed points, and least fixed points in Kripke-Platek environments
• From mathesis universalis to fixed points and related set-theoretic concepts
• On the relationship between fixed points and iteration in admissible set theory without foundation
• Some set-theoretic reduction principles
• Full and hat inductive definitions are equivalent in NBG
• Fixed-points of Set-continuous Operators

This page was built for publication: ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

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