Believing the axioms. I
From MaRDI portal
Publication:3797175
DOI10.2307/2274520zbMath0652.03033OpenAlexW4244257001WikidataQ55868186 ScholiaQ55868186MaRDI QIDQ3797175
Publication date: 1988
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274520
measurable cardinalscontinuum hypothesisinaccessible cardinalsfoundations of set theoryZermelo-Fraenkel axiomsaxiom of constructibilityaxiomatic set theorycontinuum problemsmall large cardinals
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Axiomatics of classical set theory and its fragments (03E30)
Related Items
Self-reference and incompleteness in a non-monotonic setting, AGAINST CUMULATIVE TYPE THEORY, A dilemma in the philosophy of set theory, True or false? A case in the study of harmonic functions, The Axiom of Infinity and Transformations j: V → V, Natural internal forcing schemata extending ZFC: Truth in the universe?, A SECOND PHILOSOPHY OF ARITHMETIC, How to Choose New Axioms for Set Theory?, What makes the continuum ℵ₂, GENERIC LARGE CARDINALS AS AXIOMS, A Dedekind finite Borel set, Reflective mereology, Virtue theory of mathematical practices: an introduction, Believing the axioms. II, Multiversism and Concepts of Set: How Much Relativism Is Acceptable?, Philosophy of mathematics: Prospects for the 1990s, Mathematics, science and ontology, Explaining Maximality Through the Hyperuniverse Programme, The role of axioms in mathematics, RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION, Inconsistency in mathematics and the mathematics of inconsistency, Realism, nonstandard set theory, and large cardinals, Towards a theory of mathematical argument, Moral Epistemology: The Mathematics Analogy, Traditional Cavalieri principles applied to the modern notion of area, Why is the universe of sets not a set?, The Search for New Axioms in the Hyperuniverse Programme, The Search for New Axioms in the Hyperuniverse Programme, Benacerraf, Field, and the agreement of mathematicians, Descriptive inner model theory