Hostname: page-component-8448b6f56d-xtgtn Total loading time: 0 Render date: 2024-04-25T04:46:44.195Z Has data issue: false hasContentIssue false

INTERVALS OF THE LATTICE OF COMPUTABLY ENUMERABLE SETS AND EFFECTIVE BOOLEAN ALGEBRAS

Published online by Cambridge University Press:  01 November 1997

ANDRÉ NIES
Affiliation:
Department of Mathematics, The University of Chicago, 5734 S. University Avenue, Chicago, IL 60637, USA
Get access

Abstract

We prove that each interval of the lattice [Escr ] of c.e. sets under inclusion is either a boolean algebra or has an undecidable theory. This solves an open problem of Maass and Stob [11]. We develop a method to prove undecidability by interpreting ideal lattices, which can also be applied to degree structures from complexity theory. We also answer a question left open in [7] by giving an example of a non-definable subclass of [Escr ]* which has an arithmetical index set and is invariant under automorphisms.

Type
Research Article
Copyright
© The London Mathematical Society 1997

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)