Structural relativity and informal rigour

DOI10.1007/978-3-030-84706-7_6OpenAlexW4235970747MaRDI QIDQ2080583

Neil Barton

Publication date: 9 October 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-84706-7_6

zbMATH Keywords

higher-order logicset theorycontinuum hypothesisinformal rigour

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The graph conception of set
• Predicative foundations of arithmetic
• Maximality and ontology: how axiom content varies across philosophical frameworks
• Forcing and the universe of sets: must we lose insight?
• Internal categoricity in arithmetic and set theory
• Is the dream solution of the continuum hypothesis attainable?
• THE SET-THEORETIC MULTIVERSE
• Large Cardinals from Determinacy
• Mathematical Knowledge and the Interplay of Practices
• Structuralism Without Structures
• Philosophy and Model Theory
• The Mathematical Development of Set Theory from Cantor to Cohen
• UNIVERSISM AND EXTENSIONS OF V
• On Non-Eliminative Structuralism. Unlabeled Graphs as a Case Study, Part A†
• Inner models from extended logics: Part 1
• IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES
• The Metaphysics and Mathematics of Arbitrary Objects
• WHAT CAN A CATEGORICITY THEOREM TELL US?
• PFA implies AD^L(ℝ)
• Zermelo and Set Theory
• Inner models for set theory—Part I
• Inner models for set theory—Part II
• Inner models for set theory – Part III
• Consistency of the Continuum Hypothesis. (AM-3)
• Multiple universes of sets and indeterminate truth values

This page was built for publication: Structural relativity and informal rigour