scientific article; zbMATH DE number 3504972
From MaRDI portal
Publication:4085724
zbMath0323.02067MaRDI QIDQ4085724
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Descriptive set theory (03E15) Classical first-order logic (03B10) Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Recursive functions and relations, subrecursive hierarchies (03D20) Other infinitary logic (03C75) Set theory (03E99)
Related Items
Unordered pairs in the set theory of Bourbaki 1949 ⋮ \(\Delta\)-languages for sets and LOGSPACE computable graph transformers ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Constructibility and decidability versus domain independence and absoluteness ⋮ Unnamed Item ⋮ The strength of Mac Lane set theory ⋮ A Framework for Formalizing Set Theories Based on the Use of Static Set Terms ⋮ A Logical Framework for Developing and Mechanizing Set Theories ⋮ Constructive chaos by cellular automata and possible sources of an arrow of time ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework ⋮ Hereditarily-finite sets, data bases and polynomial-time computability ⋮ Rudimentary recursion, gentle functions and provident sets
