Locally Countable Models of $\Sigma_1$-Separation
Abramson, Fred G.
J. Symbolic Logic, Tome 46 (1981) no. 1, p. 96-100 / Harvested from Project Euclid
Let $\alpha$ be any countable admissible ordinal greater than $\omega$. There is a transitive set $A$ such that $A$ is admissible, locally countable, $On^A = \alpha$, and $A$ satisfies $\Sigma_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 $\omega$, and every standard ordinal in $B$ is countable in $B$, then $HC^B \cap$ (standard part of $B$) satisfies $\Sigma_1$-separation.
Publié le : 1981-03-14
Classification: 
@article{1183740724,
     author = {Abramson, Fred G.},
     title = {Locally Countable Models of $\Sigma\_1$-Separation},
     journal = {J. Symbolic Logic},
     volume = {46},
     number = {1},
     year = {1981},
     pages = { 96-100},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740724}
}
Abramson, Fred G. Locally Countable Models of $\Sigma_1$-Separation. J. Symbolic Logic, Tome 46 (1981) no. 1, pp.  96-100. http://gdmltest.u-ga.fr/item/1183740724/