More Lowenheim-Skolem results for admissible sets |
| |
Authors: | Mark Nadel |
| |
Affiliation: | (1) Department of Mathematics, California Institute of Technology, Pasadena, California, U.S.A. |
| |
Abstract: | It is shown that ifA is a countable, admissible set and ø ∈{ie53-1}, then under certain conditions, ø has a model inA. In general, however, ifT is a consistent theory of {ie53-2}, Σ-definable onA, then there is an admissible setB?A, with the same ordinals asA, containing a model ofT. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|