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