3 results
On Π 1-automorphisms of recursive linear orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 681-688
- Print publication:
- September 1987
-
- Article
- Export citation
G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 (for 1977, pub. 1978), pp. 481–491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 293–303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 (1978), pp. 430–441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 260–269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3 (for 1977, pub. 1978), pp. 400–418. - J. Remmel. On r.e. and co-r.e. vector spaces with nonextendible bases. The journal of symbolic logic, vol. 45 (1980), pp. 20–34. - M. Lerman and J. B. Remmel. The universal splitting property: I. Logic Colloquim '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 181–207. - J. B. Remmel. Recursively enumerable Boolean algebras. Annals of mathematical logic, vol. 15 (1978), pp. 75–107. - J. B. Remmel. r-Maximal Boolean algebras. The journal of symbolic logic, vol. 44 (1979), pp. 533–548. - J. B. Remmel. Recursion theory on algebraic structures with independent sets. Annals of mathematical logic, vol. 18 (1980), pp. 153–191. - G. Metakides and J. B. Remmel. Recursion theory on orderings. I. A model theoretic setting. The journal of symbolic logic, vol. 44 (1979), pp. 383–402. - J. B. Remmel. Recursion theory on orderings. II. The journal of symbolic logic, vol. 45 (1980), pp. 317–333.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-232
- Print publication:
- March 1986
-
- Article
- Export citation
Recursive Colorings of Highly Recursive Graphs
-
- Journal:
- Canadian Journal of Mathematics / Volume 33 / Issue 6 / 01 December 1981
- Published online by Cambridge University Press:
- 20 November 2018, pp. 1279-1290
- Print publication:
- 01 December 1981
-
- Article
-
- You have access
- Export citation