scientific article; zbMATH DE number 3499760

zbMath0319.02061MaRDI QIDQ4081251

Dana S. Scott

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Related Items (12)

LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS ⋮ LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY ⋮ 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 ⋮ Set theory and the analyst ⋮ Categoricity results for second-order ZF in dependent type theory ⋮ CANTORIAN SET THEORY ⋮ Toward a modal-structural interpretation of set theory ⋮ Categoricity results and large model constructions for second-order ZF in dependent type theory ⋮ Naive infinitism: the case for an inconsistency approach to infinite collections ⋮ Categoricity theorems and conceptions of set

This page was built for publication: