Skip to main content Accessibility help

The pure part of HYP(ℳ)

  • Mark Nadel and Jonathan Stavi


Let ℳ be a structure for a language ℒ on a set M of urelements. HYP(ℳ) is the least admissible set above ℳ. In §1 we show that pp(HYP(ℳ)) [= the collection of pure sets in HYP(ℳ)] is determined in a simple way by the ordinal α = ° (HYP(ℳ)) and the ℒ theory of ℳ up to quantifier rank α. In §2 we consider the question of which pure countable admissible sets are of the form pp(HYP(ℳ)) for some ℳ and show that all sets Lα (α admissible) are of this form. Other positive and negative results on this question are obtained.


Corresponding author

Stanford University, Stanford, California 94305


Hide All
[1]Barwise, J., Admissible sets and structures, Springer-Verlag, Berlin and New York, 1975.
[2]Friedman, H., Countable models of set theories, Lecture Notes in Mathematics, vol. 337, Springer-Verlag, Berlin and New York, pp. 539573.
[3]Guzicki, W., Uncountable β-models with countable height, Fundamenta Mathematicae, vol. 82 (19741975), pp. 143152.
[4]Karp, C., Finite quantifier equivalence, The theory of models (Addison, , Henkln, , Tarski, , Editors), North-Holland, Amsterdam, 1965, pp. 407412.
[5]Kueker, D. W., Definability, automorphisms and infinitary languages, Lectures Notes in Mathematics, vol. 72, Springer-Verlag, Berlin and New York, 1968, pp. 152165.
[6]Lévy, A., A hierarchy of formulas in set theory, Memoirs of the American Mathematical Society, no. 57, (1965), 76 pp.
[7]Nadel, M., More Löwenheim-Skolem results for admissible sets, Israel Journal of Mathematics, vol. 18 (1974), pp. 5364.
[8]Nadel, M., Scott sentences and admissible sets, Annals of Mathematical Logic, vol. 7 (1974), pp. 267294.
[9]Schlipf, J., Some hyperelementary aspects of model theory, Ph.D. Thesis, University of Wisconsin, 05 1975.
[10]Simpson, S., Subsystems of analysis, unpublished lecture notes, Berkeley, 1973.


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed