Solovay's Relative Consistency Proof for FIM and BI

From MaRDI portal

Revision as of 09:08, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6358320

Jump to:navigation, search

DOI10.1215/00294527-2021-0034zbMath1529.03271arXiv2101.05878MaRDI QIDQ6358320

Joan Rand Moschovakis

Publication date: 14 January 2021

Mathematics Subject Classification ID

History of mathematics in the 21st century (01A61) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

This page was built for publication: Solovay's Relative Consistency Proof for FIM and BI

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6358320&oldid=35986746"