From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts

DOI10.1007/978-3-030-20447-1_9zbMath1469.03140OpenAlexW2981998337MaRDI QIDQ3305630

Silvia Steila, Gerhard Jäger

Publication date: 10 August 2020

Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_9

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

Stage comparison, fixed points, and least fixed points in Kripke-Platek environments

Cites Work

• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Set theory. An introduction to independence proofs
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Elementary induction on abstract structures
• Full and hat inductive definitions are equivalent in NBG
• A lattice-theoretical fixpoint theorem and its applications
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• The strength of Mac Lane set theory
• Unnamed Item