Publication:3803101
From MaRDI portal
zbMath0656.03030MaRDI QIDQ3803101
Publication date: 1986
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-03: History of mathematical logic and foundations
03E30: Axiomatics of classical set theory and its fragments
Related Items
Kerry und frege über begriff und gegenstand1, Constructive Versus Ontological Construals of Cantorian Ordinals, Applicable Mathematics in a Minimal Computational Theory of Sets, On Russell's vulnerability to Russell's paradox, NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF, Formalizing Scientifically Applicable Mathematics in a Definitional Framework, A New–old Characterisation of Logical Knowledge, Russell, presupposition, and the vicious-circle principle, The Search for New Axioms in the Hyperuniverse Programme, The Search for New Axioms in the Hyperuniverse Programme, MEASURING THE SIZE OF INFINITE COLLECTIONS OF NATURAL NUMBERS: WAS CANTOR’S THEORY OF INFINITE NUMBER INEVITABLE?, BOLZANO’S MATHEMATICAL INFINITE, Throwing darts, time, and the infinite, When series go in indefinitum, ad infinitum and in infinitum concepts of infinity in Kant's antinomy of pure reason, Transfinite recursion and computation in the iterative conception of set, Multiverse conceptions in set theory, Numbers as moments of multisets: a new-old formulation of arithmetic, Iteration one more time, A defense of second-order logic, Predicativity and structuralism in Dedekind's construction of the reals, The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes, Extensionality and restriction in naive set theory, Toward a modal-structural interpretation of set theory, On plural reference and elementary set theory, Frege and the rigorization of analysis, Broadening the iterative conception of set, A single axiom for set theory, Indefinite extensibility -- dialetheic style, Why is the universe of sets not a set?, Bolzano's infinite quantities, Set theory and the analyst, TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, A critical appraisal of second-order logic, Absolute Infinity in Class Theory and in Theology, Leibniz in Cantor’s Paradise: A Dialogue on the Actual Infinite, Multiverse Conceptions in Set Theory, Gödel’s Cantorianism, Remarks on Buzaglo’s Concept Expansion and Cantor’s Transfinite, The independence of the parallel postulate and development of rigorous consistency proofs, Zermelo: Boundary numbers and domains of sets continued, TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY, Natural Numbers and Infinitesimals: A Discussion between Benno Kerry and Georg Cantor, Russell's Schema, Not Priest's Inclosure, An axiom schema of comprehension of zermelo–fraenkel–skolem set theory
