Structural relativity and informal rigour

DOI10.1007/978-3-030-84706-7_6MaRDI QIDQ2080583zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Second order logic or set theory?
• Second-Order Logic and Foundations of Mathematics
• Maximality vs. extendability: reflections on structuralism and set theory
• Does mathematics need new axioms?
• Believing the axioms. I

Cites work

• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1150557 (Why is no real title available?)
• scientific article; zbMATH DE number 1150559 (Why is no real title available?)
• scientific article; zbMATH DE number 2052463 (Why is no real title available?)
• scientific article; zbMATH DE number 1852929 (Why is no real title available?)
• scientific article; zbMATH DE number 6308208 (Why is no real title available?)
• scientific article; zbMATH DE number 3405932 (Why is no real title available?)
• Challenges to predicative foundations of arithmetic
• Consistency of the Continuum Hypothesis. (AM-3)
• Forcing and the universe of sets: must we lose insight?
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• Inner models for set theory – Part III
• Inner models for set theory—Part I
• Inner models for set theory—Part II
• Inner models from extended logics. I
• Internal categoricity in arithmetic and set theory
• Is the dream solution of the continuum hypothesis attainable?
• Large cardinals from determinacy
• Mathematical knowledge and the interplay of practices
• Maximality and ontology: how axiom content varies across philosophical frameworks
• Multiple universes of sets and indeterminate truth values
• On non-eliminative structuralism. Unlabeled graphs as a case study. I.
• PFA implies AD^L(ℝ)
• Philosophy and model theory
• Predicative foundations of arithmetic
• Structuralism Without Structures
• The Mathematical Development of Set Theory from Cantor to Cohen
• The continuum hypothesis. I
• The graph conception of set
• The metaphysics and mathematics of arbitrary objects
• The set-theoretic multiverse
• Universism and extensions of \(V\)
• What can a categoricity theorem tell us?
• Zermelo and Set Theory

Cited in

(4)

• scientific article; zbMATH DE number 7594134 (Why is no real title available?)
• Carnap, Formalism, and Informal Rigour
• Structural Relativity
• Structures and logics: a case for (a) relativism

Describes a project that uses

Uses Software

• MathOverflow

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2080583)