Effective presentability of Boolean algebras of Cantor-Bendixson rank 1

Effective presentability of Boolean algebras of Cantor-Bendixson rank 1 (1999)

by Rod Downey , Carl G. Jockusch , Jr.

Venue:	Journal of Symbolic Logic
Citations:	6 - 6 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Effective presentability of Boolean algebras of Cantor-Bendixson rank 1	user correction - Legacy Corrections
AUTHOR NAME	Rod Downey	user correction - Legacy Corrections
AUTHOR AFFIL	a;1	user correction - Legacy Corrections
AUTHOR NAME	Carl G. Jockusch	user correction - Legacy Corrections
AUTHOR AFFIL	; a; Department of Mathematics, Victoria University of Wellington, P.O. Box 600,; b; Department of Mathematics, University of Illinois	user correction - Legacy Corrections
AUTHOR ADDR	; Wellington, New Zealand; 1409 West Green St.,; Urbana, IL 61801-2917, USA	user correction - Legacy Corrections
AUTHOR NAME	Jr.	user correction - Legacy Corrections
ABSTRACT	We show that there is a computable Boolean algebra B and a computably enumerable ideal I of B such that the quotient algebra B/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.	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	Journal of Symbolic Logic	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	45--52	INFERENCE
VOLUME	64	INFERENCE
TECH	MR 2000e:03126	INFERENCE
CITATIONS	13 found	ParsCit 1.0