Journal of Symbolic Logic 49 (1):51-62 (1984)
|Abstract||This paper contributes to the question of under which conditions recursively enumerable sets with isomorphic lattices of recursively enumerable supersets are automorphic in the lattice of all recursively enumerable sets. We show that hyperhypersimple sets (i.e. sets where the recursively enumerable supersets form a Boolean algebra) are automorphic if there is a Σ 0 3 -definable isomorphism between their lattices of supersets. Lerman, Shore and Soare have shown that this is not true if one replaces Σ 0 3 by Σ 0 4|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Peter A. Cholak & Leo A. Harrington (2003). Isomorphisms of Splits of Computably Enumerable Sets. Journal of Symbolic Logic 68 (3):1044-1064.
Leo Harrington & Robert I. Soare (1998). Codable Sets and Orbits of Computably Enumerable Sets. Journal of Symbolic Logic 63 (1):1-28.
Peter Cholak (1995). Automorphisms of the Lattice of Recursively Enumerable Sets. American Mathematical Society.
Allen Retzlaff (1978). Simple and Hyperhypersimple Vector Spaces. Journal of Symbolic Logic 43 (2):260-269.
Stephan Wehner (1999). On Recursive Enumerability with Finite Repetitions. Journal of Symbolic Logic 64 (3):927-945.
Iraj Kalantari & Allen Retzlaff (1979). Recursive Constructions in Topological Spaces. Journal of Symbolic Logic 44 (4):609-625.
A. M. Dawes (1982). Splitting Theorems for Speed-Up Related to Order of Enumeration. Journal of Symbolic Logic 47 (1):1-7.
E. Herrmann (1984). Definable Structures in the Lattice of Recursively Enumerable Sets. Journal of Symbolic Logic 49 (4):1190-1197.
Wolfgang Maass (1982). Recursively Enumerable Generic Sets. Journal of Symbolic Logic 47 (4):809-823.
E. Herrmann (1983). Orbits of Hyperhypersimple Sets and the Lattice of ∑03 Sets. Journal of Symbolic Logic 48 (3):693 - 699.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?