scientific article

zbMath0489.03017MaRDI QIDQ3950553

Gaisi Takeuti, Wilson M. Zaring

Publication date: 1982

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

zbMATH Keywords

forcingstandard modelclassesconstructible setsgeneralized continuum hypothesisSilver machinesGoedel modelZermloFraenkel set theory

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Models of arithmetic and set theory (03C62) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40) Set theory (03Exx)

Related Items

Meta-Analysis of Inter-theoretical Relations: Reduction, Realization, and Micro-Macro Relations of Systems ⋮ Unnamed Item ⋮ Directed graphs and combinatorial properties of completely regular semigroups. ⋮ Theoretical foundations of planning and navigation for autonomous robots ⋮ Generalized Cayley graphs of semigroups. II. ⋮ Generalized Cayley graphs of semigroups. I. ⋮ Topology in process calculus. I: Limit behaviour of agents ⋮ On the Cayley graphs of completely simple semigroups. ⋮ \(D\)-saturated property of the Cayley graphs of semigroups. ⋮ Some Research Problems about Algebraic Differential Equations