Some set-theoretic reduction principles
From MaRDI portal
Publication:6612880
DOI10.1007/978-3-031-50981-0_16MaRDI QIDQ6612880
Michael Bärtschi, Gerhard Jäger
Publication date: 1 October 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Set theory. An introduction to independence proofs
- The strength of admissibility without foundation
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
- Explicit mathematics with the monotone fixed point principle. II: Models
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
- On the relationship between ATR0 and
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)