Effective presentability of Boolean algebras of Cantor-Bendixson rank 1 (1999)

Cached

Download Links

by Rod Downey , Carl G. Jockusch , Jr.
Venue:Journal of Symbolic Logic
Citations:6 - 6 self

Documents Related by Co-Citation

9 Π 0 1-Classes-Structure and applications, in Computability Theory and its – D Cenzer, C Jockusch
11 Abstract Dependence, Recursion Theory and the Lattice of Recursively Enumerable Filters Thesis – R Downey - 1982
7 Π 0 1 classes in computability theory – D Cenzer - 1999
7 Maximal theories, Annals of Pure and – R Downey - 1987
22 Automorphisms of the lattice of recursively enumerable sets, Part I: Maximal sets – R Soare - 1974
18 Recursively enumerable sets and degrees, Springer-Verlag New York – R I Soare - 1987
16 Axiomatizable theories with few axiomatizable extensions – D A Martin, M Pour-El - 1970
126 Π0 1 classes and degrees of theories – Robert I Soare - 1972
4 On Π0 1 classes and their ranked points – Rod Downey - 1992
19 Π 0 1 classes in mathematics – D Cenzer, J Remmel - 1998
6 Posts’s program and incomplete recursively enumerable sets – L Harrington, R I Soare - 1991
838 Theory of Recursive Functions and Effective Computability – H Rogers - 1967
17 On Presentations of Algebraic Structures – Rod Downey - 1995
2 Countable thin �0 1 classes – D Cenzer, R Downey, C Jockusch, R A Shore - 1993
5 1 classes in mathematics – D Cenzer, J Remmel - 1998
3 Array nonrecursice sets and multiple permitting arguments – R Downey, C Jockusch, M Stob - 1990
32 Automorphisms of the lattice of recursively enumerable sets: Orbits, Adv – Author(s) Peter Cholak, Rod Downey, Michael Stob, Peter Cholak, Rod Downey, Michael Stob
83 Theory of Recursive Functions and E¤ective Computability – H Rogers - 1967
18 Hierarchies of boolean algebras – L J Feiner - 1970