Orbits of hyperhypersimple sets and the lattice of ∑03 sets
Journal of Symbolic Logic 48 (3):693 - 699 (1983)
| Abstract | It will be shown that in the lattice of recursively enumerable sets all lattices $\underline{L}(X)$ are elementarily definable with parameters, where X is Σ 0 3 and $\underline{L}^3(X)$ consists of all Σ 0 3 sets containing X | |||||||||
| 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 articlesIraj Kalantari & Allen Retzlaff (1979). Recursive Constructions in Topological Spaces. Journal of Symbolic Logic 44 (4):609-625.
John P. Burgess (1988). Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Richard A. Shore (1978). Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets. Journal of Symbolic Logic 43 (2):322-330.
Peter A. Cholak, Rodney Downey & Leo A. Harrington (2008). The Complexity of Orbits of Computably Enumerable Sets. The Bulletin of Symbolic Logic 14 (1):69 - 87.
Allen Retzlaff (1978). Simple and Hyperhypersimple Vector Spaces. Journal of Symbolic Logic 43 (2):260-269.
Peter Cholak (1990). Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets. Journal of Symbolic Logic 55 (2):744-760.
Wolfgang Maass (1982). Recursively Enumerable Generic Sets. Journal of Symbolic Logic 47 (4):809-823.
Peter Cholak (1995). Automorphisms of the Lattice of Recursively Enumerable Sets. American Mathematical Society.
E. Herrmann (1984). Definable Structures in the Lattice of Recursively Enumerable Sets. Journal of Symbolic Logic 49 (4):1190-1197.
Wolfgang Maass (1984). On the Orbits of Hyperhypersimple Sets. Journal of Symbolic Logic 49 (1):51-62.
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
