|
On the triple jump of the set of atoms of a Boolean algebra
Author(s):
Antonio
Montalbán
Journal:
Proc. Amer. Math. Soc.
136
(2008),
2589-2595.
MSC (2000):
Primary 03D80
Posted:
March 11, 2008
MathSciNet review:
2390531
Retrieve article in:
PDF
Abstract |
References |
Similar articles |
Additional information
Abstract:
We prove the following result concerning the degree spectrum of the atom relation on a computable Boolean algebra. Let be a computable Boolean algebra with infinitely many atoms and be the Turing degree of the atom relation of . If is a c.e. degree such that , then there is a computable copy of where the atom relation has degree . In particular, for every c.e. degree , any computable Boolean algebra with infinitely many atoms has a computable copy where the atom relation has degree .
References:
-
- [AN81]
- C. J. Ash and A. Nerode.
Intrinsically recursive relations. In Aspects of effective algebra (Clayton, 1979), pages 26-41. Upside Down A Book Co. Yarra Glen, Vic., 1981. MR 629248 (83a:03039) - [DJ94]
- Rod Downey and Carl G. Jockusch.
Every low Boolean algebra is isomorphic to a recursive one. Proc. Amer. Math. Soc., 122(3):871-880, 1994. MR 1203984 (95a:03044) - [DM91]
- Rodney G. Downey and Michael F. Moses.
Recursive linear orders with incomplete successivities. Trans. Amer. Math. Soc., 326(2):653-668, 1991. MR 1005933 (91k:03115) - [Dow93]
- Rod Downey.
Every recursive Boolean algebra is isomorphic to one with incomplete atoms. Ann. Pure Appl. Logic, 60(3):193-206, 1993. MR 1216669 (94c:03059) - [Dow97]
- Rodney G. Downey.
On presentations of algebraic structures. In Complexity, logic, and recursion theory, volume 187 of Lecture Notes in Pure and Appl. Math., pages 157-205. Dekker, New York, 1997. MR 1455136 (98k:03099) - [Gon75]
- S. S. Goncharov.
Certain properties of the constructivization of Boolean algebras. Sibirskii Matematicheskii Zhurnal, 16(2):264-278, 1975. MR 0381957 (52:2846) - [KS00]
- Julia F. Knight and Michael Stob.
Computable Boolean algebras. J. Symbolic Logic, 65(4):1605-1623, 2000. MR 1812171 (2001m:03086) - [Rem81a]
- J. B. Remmel.
Recursive isomorphism types of recursive Boolean algebras. J. Symbolic Logic, 46(3):572-594, 1981. MR 627907 (83a:03042) - [Rem81b]
- Jeffrey B. Remmel.
Recursive Boolean algebras with recursive atoms. J. Symbolic Logic, 46(3):595-616, 1981. MR 627908 (82j:03055) - [Rem89]
- J. B. Remmel.
Recursive Boolean algebras. In Handbook of Boolean algebras, Vol. 3, pages 1097-1165. North-Holland, Amsterdam, 1989. MR 991614 - [Thu95]
- John J. Thurber.
Every Boolean algebra has a recursive copy. Proc. Amer. Math. Soc., 123(12):3859-3866, 1995. MR 1283564 (96b:03047)
Similar Articles:
Retrieve articles in Proceedings of the American Mathematical
Society
with
MSC (2000):
03D80
Retrieve articles in all Journals with
MSC (2000):
03D80
Additional Information:
Antonio
Montalbán
Affiliation:
Department of Mathematics, University of Chicago, Chicago, Illinois 60637
Email:
antonio@mcs.vuw.ac.nz
DOI:
10.1090/S0002-9939-08-09248-4
PII:
S 0002-9939(08)09248-4
Keywords:
Boolean algebra,
atom,
relation,
degree spectrum
Received by editor(s):
December 8, 2006,
Received by editor(s) in revised form:
April 12, 2007, April 22, 2007, and May 31, 2007
Posted:
March 11, 2008
Additional Notes:
This research was partially supported by NSF Grant DMS-0600824 and by the Marsden Foundation of New Zealand, via a postdoctoral fellowship.
Communicated by:
Julia Knight
Copyright of article:
Copyright
2008,
American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.
|