scientific article; zbMATH DE number 2107962
From MaRDI portal
Publication:4820366
zbMath1066.03002MaRDI QIDQ4820366
Publication date: 14 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical and second-order set theories (03E70)
Related Items
LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS ⋮ AGAINST CUMULATIVE TYPE THEORY ⋮ LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS ⋮ The iterative conception of set. A (bi-)modal axiomatisation ⋮ Non-Archimedean preferences over countable lotteries ⋮ Equality and Near-Equality in a Nonstandard World ⋮ Foundations of applied mathematics. I ⋮ What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers ⋮ Toward foundations of near sets: (pre-)sheaf theoretic approach ⋮ Graham Priest's Mathematical Analysis of the Concept of Emptiness ⋮ The metamathematics of Putnam's model-theoretic arguments ⋮ Arithmetic, set theory, reduction and explanation ⋮ Multiversism and Concepts of Set: How Much Relativism Is Acceptable? ⋮ Forcing, Multiverse and Realism ⋮ Multiverse Conceptions in Set Theory ⋮ Explaining Maximality Through the Hyperuniverse Programme ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ Multiverse conceptions in set theory ⋮ CANTORIAN SET THEORY ⋮ Platitudes in mathematics ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ The usual model construction for NFU preserves information ⋮ Burali-Forti as a purely logical paradox ⋮ The graph conception of set ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ ON THE MAXIMUM NUMBER OF PERIOD ANNULI FOR SECOND ORDER CONSERVATIVE EQUATIONS ⋮ Logic and Sets ⋮ Naive infinitism: the case for an inconsistency approach to infinite collections ⋮ What is Absolute Undecidability?†
