eCommons

 

Computably enumerable boolean algebras

Other Titles

Abstract

We study computably enumerable boolean algebras, focusing on Stone duality and universality phenomena. We show how classical Stone duality specializes to c.e. boolean algebras, giving a natural bijection between c.e. boolean algebras and Π10 classes. We also give a new characterization of computably universal-homogeneous c.e. boolean algebras, which yields a more direct proof of the computable isomorphism between the Lindenbaum algebras of theories which satisfy the hypotheses of the second incompleteness theorem.

Journal / Series

Volume & Issue

Description

Sponsorship

Date Issued

2018-05-30

Publisher

Keywords

Stone duality; universal-homogeneous; Logic; boolean algebra; computably enumerable

Location

Effective Date

Expiration Date

Sector

Employer

Union

Union Local

NAICS

Number of Workers

Committee Chair

Nerode, Anil

Committee Co-Chair

Committee Member

Kress Gazit, Hadas
Shore, Richard A.

Degree Discipline

Mathematics

Degree Name

Ph. D., Mathematics

Degree Level

Doctor of Philosophy

Related Version

Related DOI

Related To

Related Part

Based on Related Item

Has Other Format(s)

Part of Related Item

Related To

Related Publication(s)

Link(s) to Related Publication(s)

References

Link(s) to Reference(s)

Previously Published As

Government Document

ISBN

ISMN

ISSN

Other Identifiers

Rights

Attribution-ShareAlike 4.0 International

Types

dissertation or thesis

Accessibility Feature

Accessibility Hazard

Accessibility Summary

Link(s) to Catalog Record