The pure part of HYP(M)
Journal of Symbolic Logic 42 (1):33-46 (1977)
| Abstract | Let M be a structure for a language L on a set M of urelements. HYP(M) is the least admissible set above M. In § 1 we show that pp(HYP(M)) [ = the collection of pure sets in HYP(M] is determined in a simple way by the ordinal α = ⚬(HYP(M)) and the $\mathscr{L}_{\propto\omega}$ theory of M up to quantifier rank α. In § 2 we consider the question of which pure countable admissible sets are of the form pp(HYP(M)) for some M and show that all sets L α (α admissible) are of this form. Other positive and negative results on this question are obtained | |||||||||
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesShaughan Lavine (1993). Generalized Reduction Theorems for Model-Theoretic Analogs of the Class of Coanalytic Sets. Journal of Symbolic Logic 58 (1):81-98.
J. Duparc (2001). Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank. Journal of Symbolic Logic 66 (1):56-86.
Fred G. Abramson (1981). Locally Countable Models of Σ1-Separation. Journal of Symbolic Logic 46 (1):96 - 100.
Gabriel Uzquiano (2002). Categoricity Theorems and Conceptions of Set. Journal of Philosophical Logic 31 (2):181-196.
T. A. Slaman (1986). ∑1 Definitions with Parameters. Journal of Symbolic Logic 51 (2):453 - 461.
Sy D. Friedman (1979). HC of an Admissible Set. Journal of Symbolic Logic 44 (1):95-102.
Harold T. Hodes (1981). Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy. Journal of Symbolic Logic 46 (4):753-760.
Shaughan Lavine (1992). A Spector-Gandy Theorem for cPCd(A) Classes. Journal of Symbolic Logic 57 (2):478 - 500.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
