Conventionalism, consistency, and consistency sentences
From MaRDI portal
Publication:514102
DOI10.1007/s11229-014-0626-8zbMath1369.03085OpenAlexW2078618466MaRDI QIDQ514102
Publication date: 8 March 2017
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-014-0626-8
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Relative consistency and interpretations (03F25)
Related Items
Counterpossibles for modal normativists, Epistemology versus non-causal realism, A metasemantic challenge for mathematical determinacy
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Set theory. An introduction to independence proofs
- Untersuchungen über das logische Schliessen. I
- Solution of a problem of Leon Henkin
- Arithmetization of metamathematics in a general setting
- Logical Pluralism
- Interlude: About the First Theorem
- New Foundations for Mathematical Logic