Available in electronic format
Available in print format
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826 (e) ISSN 0002-9939 (p)
     

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
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 $ \mathcal{C}$ be a computable Boolean algebra with infinitely many atoms and $ \mathbf{a}$ be the Turing degree of the atom relation of $ \mathcal{C}$. If $ \mathbf{d}$ is a c.e. degree such that $ \mathbf{a}^{\prime\prime\prime}\leq_T\mathbf{d}^{\prime\prime\prime}$, then there is a computable copy of $ \mathcal{C}$ where the atom relation has degree $ \mathbf{d}$. In particular, for every $ \mathrm{high}_3$ c.e. degree $ \mathbf{d}$, any computable Boolean algebra with infinitely many atoms has a computable copy where the atom relation has degree $ \mathbf{d}$.


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 $ {\rm low}\sb 2$ 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.


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google