Some set-theoretic reduction principles

DOI10.1007/978-3-031-50981-0_16MaRDI QIDQ6612880zbMATH OpenFDO

Authors Michael Bärtschi, Gerhard Jäger

Publication date 1 October 2024

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-50981-0_16

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Cites work

• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• Explicit mathematics with the monotone fixed point principle. II: Models
• scientific article; zbMATH DE number 3825795 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 3702644 (Why is no real title available?)
• scientific article; zbMATH DE number 3782998 (Why is no real title available?)
• scientific article; zbMATH DE number 193575 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• On the relationship between ATR₀ and
• Set theory. An introduction to independence proofs
• Subsystems of second order arithmetic
• The strength of admissibility without foundation
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

This page was built for publication: Some set-theoretic reduction principles

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