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 等数据库收录！ |
|
