> Details

Downey, Rod; Jockusch, Carl G.

Effective presentability of Boolean algebras of Cantor-Bendixson rank 1

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Article
  • Title: Effective presentability of Boolean algebras of Cantor-Bendixson rank 1
  • Contributor: Downey, Rod; Jockusch, Carl G.
  • Published: Cambridge University Press (CUP), 1999
  • Published in: Journal of Symbolic Logic, 64 (1999) 1, Seite 45-52
  • Language: English
  • DOI: 10.2307/2586749
  • ISSN: 0022-4812; 1943-5886
  • Keywords: Logic ; Philosophy
  • Origination:
  • Footnote:
  • Description: AbstractWe show that there is a computable Boolean algebra and a computably enumerable ideal I of such that the quotient algebra /I is of Cantor-Bendixson rank 1 and is not isomorphic to any computable Boolean algebra. This extends a result of L. Feiner and is deduced from Feiner's result even though Feiner's construction yields a Boolean algebra of infinite Cantor-Bendixson rank.