Geodesic
Enrichments of Boolean algebras by Presburger predicates
Jamshid Derakhshan1 ; Angus Macintyre2
1St Hilda’s College University of Oxford Cowley Place Oxford OX4 1DY, UK
2School of Mathematical Sciences Queen Mary University of London Mile End Road London E1 4NS, UK
Fundamenta Mathematicae, Tome 239 (2017) no. 1, pp. 1-17
Cet article a éte moissonné depuis la source Institute of Mathematics Polish Academy of Sciences

Voir la notice de l'article

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. Our main enrichment is by a predicate for the ideal of finite sets and predicates for congruence conditions on the cardinalities of finite sets, but we also give new proofs of some classical results. We then classify and compare the expressive power of the enriched theories.
DOI : 10.4064/fm673-1-2017
Keywords: unified treatment model theory various enrichments infinite atomic boolean algebras special attention quantifier eliminations complete axiomatizations decidability main enrichment predicate ideal finite sets predicates congruence conditions cardinalities finite sets proofs classical results classify compare expressive power enriched theories

Jamshid Derakhshan  1   ; Angus Macintyre  2

1 St Hilda’s College University of Oxford Cowley Place Oxford OX4 1DY, UK
2 School of Mathematical Sciences Queen Mary University of London Mile End Road London E1 4NS, UK 
@article{10_4064_fm673_1_2017,
     author = {Jamshid Derakhshan and Angus Macintyre},
     title = {Enrichments of {Boolean} algebras by {Presburger} predicates},
     journal = {Fundamenta Mathematicae},
     pages = {1--17},
     year = {2017},
     volume = {239},
     number = {1},
     doi = {10.4064/fm673-1-2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm673-1-2017/}
}
TY  - JOUR
AU  - Jamshid Derakhshan
AU  - Angus Macintyre
TI  - Enrichments of Boolean algebras by Presburger predicates
JO  - Fundamenta Mathematicae
PY  - 2017
SP  - 1
EP  - 17
VL  - 239
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm673-1-2017/
DO  - 10.4064/fm673-1-2017
LA  - en
ID  - 10_4064_fm673_1_2017
ER  - 
%0 Journal Article
%A Jamshid Derakhshan
%A Angus Macintyre
%T Enrichments of Boolean algebras by Presburger predicates
%J Fundamenta Mathematicae
%D 2017
%P 1-17
%V 239
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4064/fm673-1-2017/
%R 10.4064/fm673-1-2017
%G en
%F 10_4064_fm673_1_2017
Jamshid Derakhshan; Angus Macintyre. Enrichments of Boolean algebras by Presburger predicates. Fundamenta Mathematicae, Tome 239 (2017) no. 1, pp. 1-17. doi: 10.4064/fm673-1-2017

Cité par Sources :