Publication:5439451
From MaRDI portal
zbMath1132.03022MaRDI QIDQ5439451
Publication date: 11 February 2008
03E55: Large cardinals
03E40: Other aspects of forcing and Boolean-valued models
03E47: Other notions of set-theoretic definability
Related Items
Σ1(κ)-DEFINABLE SUBSETS OF H(κ+), Iterated elementary embeddings and the model theory of infinitary logic, Martin's maximum and definability in \(H(\aleph_2\))