Journal article icon

Journal article

Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples

Abstract:
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment by a predicate for the ideal of finite sets, and a novel one involves predicates giving congruence conditions on the cardinality of finite sets. We focus on three examples, and classify them by expressive power.

Actions


Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Mathematical Inst
Macintyre, A More by this author
Publication date:
2013-10-14
URN:
uuid:a49a704d-9bcd-4c9f-ba4c-49f4dcb8911a
Source identifiers:
430383
Local pid:
pubs:430383

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP