scientific article
From MaRDI portal
Publication:3037419
zbMath0524.03039MaRDI QIDQ3037419
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modelslocal choiceglobal choiceproper classforcing with classesZermelo-Fraenkel set theory without the power set axiom
Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (7)
Effectivity and reducibility with ordinal Turing machines ⋮ THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE ⋮ The downward directed grounds hypothesis and very large cardinals ⋮ Hyperclass Forcing in Morse-Kelley Class Theory ⋮ A model of second-order arithmetic satisfying AC but not DC ⋮ Easton's theorem for Ramsey and strongly Ramsey cardinals ⋮ INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
This page was built for publication:
