Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Some set-theoretic reduction principles

From MaRDI portal
Publication:6612880
Jump to:navigation, search

DOI10.1007/978-3-031-50981-0_16MaRDI QIDQ6612880

Michael Bärtschi, Gerhard Jäger

Publication date: 1 October 2024





Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6612880&oldid=40168112"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 February 2025, at 19:43.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki