Accession Number:

AD0753821

Title:

The Existence of Non-Simple Constructive Extensions of the Boolean Algebra of Clopen Sets of the Cantor Space.

Descriptive Note:

Technical rept.,

Corporate Author:

IOWA UNIV IOWA CITY DEPT OF MATHEMATICS

Personal Author(s):

• Madison,Eugene W.

Report Date:

1972-12-01

Pagination or Media Count:

29.0

Abstract:

The theory of Boolean algebras provides a fertile framework for studying constructive extensions of computable structures. Unlike the case for fields and p-valued fields where extensions of the rationals are constructive if and only if they are computable, the present setting houses an abundance of computable extensions which are not constructive. Thus problems related to classifying or characterizing of the constructive extensions become especially interesting. The report discusses the following theorems There exist non-simple constructive extensions of the Boolean algebra of clopen sets of the Cantor space.

Descriptors:

• *MATHEMATICAL LOGIC
• *ALGEBRA
• THEOREMS
• SET THEORY
• VECTOR SPACES
• TOPOLOGY

Subject Categories:

• Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE