Locally countable models of σ1-separation
Journal of Symbolic Logic 46 (1):96 - 100 (1981)
| Abstract | Let α be any countable admissible ordinal greater than ω. There is a transitive set A such that A is admissible, locally countable, On A = α, and A satisfies Σ 1 -separation. In fact, if B is any nonstandard model of $KP + \forall x \subseteq \omega$ (the hyperjump of x exists), the ordinal standard part of B is greater than ω, and every standard ordinal in B is countable in B, then HC B ∩ (standard part of B) satisfies Σ 1 -separation | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAndreas Blass (1981). The Model of Set Theory Generated by Countably Many Generic Reals. Journal of Symbolic Logic 46 (4):732-752.
E. W. Madison (1983). The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra. Journal of Symbolic Logic 48 (1):167-170.
Pierluigi Minari, Mitio Takano & Hiroakira Ono (1990). Intermediate Predicate Logics Determined by Ordinals. Journal of Symbolic Logic 55 (3):1099-1124.
John E. Hutchinson (1976). Elementary Extensions of Countable Models of Set Theory. Journal of Symbolic Logic 41 (1):139-145.
Saharon Shelah (1978). End Extensions and Numbers of Countable Models. Journal of Symbolic Logic 43 (3):550-562.
Tapani Hyttinen & Jouko Väänänen (1990). On Scott and Karp Trees of Uncountable Models. Journal of Symbolic Logic 55 (3):897-908.
John E. Hutchinson (1976). Order Types of Ordinals in Models of Set Theory. Journal of Symbolic Logic 41 (2):489-502.
Liang Yu (2006). Measure Theory Aspects of Locally Countable Orderings. Journal of Symbolic Logic 71 (3):958 - 968.
Mitch Rudominer (1999). The Largest Countable Inductive Set is a Mouse Set. Journal of Symbolic Logic 64 (2):443-459.
Fred G. Abramson (1979). Σ1-Separation. Journal of Symbolic Logic 44 (3):374 - 382.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,507 of 548,973 )Recent downloads (6 months)1 ( #63,511 of 548,973 )How can I increase my downloads? |
My notes
Discussion
