Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
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
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 $ \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 and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia