Countably decomposable admissible sets |
| |
Authors: | Menachem Magidor Saharon Shelah Jonathan Stavi |
| |
Institution: | Institute for Advanced Studies, Hebrew University of Jerusalem, Jerusalem, Israel;Department of Mathematics, Bar-Ilan University, Ramat-Gan, Israel |
| |
Abstract: | The known results about Σ1-completeness, Σ1-compactness, ordinal omitting etc. are given a unified treatment, which yields many new examples. It is shown that the unifying theorem is best possible in several ways, assuming V = L. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|