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

DOI10.1017/jsl.2018.12zbMath1469.03139OpenAlexW2886133260WikidataQ129429882 ScholiaQ129429882MaRDI QIDQ4579812

Silvia Steila, Gerhard Jäger

Publication date: 10 August 2018

Published in: The 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

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

Related Items

From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts, Stage comparison, fixed points, and least fixed points in Kripke-Platek environments

Cites Work

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