Structural relativity and informal rigour

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

Authors: Neil Barton 

Publication date: 9 October 2022

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

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

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)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• Carnap, Formalism, and Informal Rigour
• Structural Relativity
• Structures and logics: a case for (a) relativism

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)