Found 24 Documents (Results 1–24)
Degrees containing members of thin \(\Pi_1^0\) classes are dense and co-dense. (English) Zbl 1522.03156
The members of thin and minimal \(\Pi_1^0\) classes, their ranks and Turing degrees. (English) Zbl 1353.03042
Subspaces of computable vector spaces. (English) Zbl 1127.03036
Reviewer: Jeffry L. Hirst (Boone)
Ideals in computable rings. (English) Zbl 1127.03037
Reviewer: Jeffry L. Hirst (Boone)
Computability-theoretic and proof-theoretic aspects of partial and linear orderings. (English) Zbl 1044.03043
Reviewer: Jeffry L. Hirst (Boone)
A rank one cohesive set. (English) Zbl 0809.03030
Reviewer: L.Harkleroad (Ithaca)
MSC:
03D25
Friedberg splittings of recursively enumerable sets. (English) Zbl 0795.03057
Reviewer: Lei Quian (Nanjing)
MSC:
03D25
Countable thin \(\Pi^0_1\) classes. (English) Zbl 0909.03039
Reviewer: Marius Zimand (MR 93m:03075)
Maximal theories. (English) Zbl 0629.03019
MSC:
03D45
Orbits of creative subspaces. (English) Zbl 0626.03035
Reviewer: M.Zimand
MSC:
03D45
Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures. (English) Zbl 0604.03014
Automorphisms of supermaximal subspaces. (English) Zbl 0572.03024
MSC:
03D45
The universal complementation property. (English) Zbl 0591.03024
Reviewer: M.Zimand
MSC:
03D45
Bases of supermaximal subspaces and Steinitz systems. I. (English) Zbl 0585.03017
Reviewer: M.Zimand
MSC:
03D45
Decidable subspaces and recursively enumerable subspaces. (English) Zbl 0585.03016
Reviewer: M.Zimand
Co-immune subspaces and complementation in \(V_{\infty}\). (English) Zbl 0579.03032
Reviewer: C.Calude
MSC:
03D45
Filter Results by …
all
top 5
Author
- Downey, Rodney Graham (24)
- Melnikov, Alexander G. (6)
- Lempp, Steffen (3)
- Hirschfeldt, Denis Roman (2)
- Mileti, Joseph R. (2)
- Ng, KengMeng (2)
- Remmel, Jeffrey Brian (2)
- Wu, Guohua (2)
- Yang, Yue (2)
- Ash, Christopher John (1)
- Bazhenov, Nikolaĭ Alekseevich (1)
- Cenzer, Douglas (1)
- Hird, Geoffrey R. (1)
- Jockusch, Carl G. jun. (1)
- Kach, Asher M. (1)
- Kalimullin, Iskander Shagitovich (1)
- Kurtz, Stuart A. (1)
- Montalbán, Antonio (1)
- Shore, Richard Arnold (1)
- Solomon, Reed (1)
- Stob, Michael (1)
- Yue, Yang (1)
all
top 5
Serial
- Ann. Pure Appl. Logic (8)
- J. Symb. Log. (5)
- J. Algebra (3)
- Bull. Symb. Log. (2)
- Isr. J. Math. (1)
- Proc. Am. Math. Soc. (1)
- Trans. Am. Math. Soc. (1)
- Int. J. Algebra Comput. (1)
- J. Math. Log. (1)
- Log. Methods Comput. Sci. (1)