Enrichments of Boolean algebras by Presburger predicates

被引：2
|
作者：
Derakhshan, Jamshid [1 ]
Macintyre, Angus [2 ]
机构：
[1] Univ Oxford, St Hildas Coll, Cowley Pl, Oxford OX4 1DY, England
[2] Queen Mary Univ London, Sch Math Sci, Mile End Rd, London E1 4NS, England
来源：
FUNDAMENTA MATHEMATICAE | 2017年 / 239卷 / 01期
关键词：
Boolean algebras; quantifier elimination; decidability; model theory;
D O I：
10.4064/fm673-1-2017
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：1 / 17
页数：17
相关论文
共 50 条
  • [41] Summing Boolean algebras
    Aizpuru, A
    Gutiérrez-Dávila, A
    ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2004, 20 (05) : 949 - 960
  • [42] Summing Boolean Algebras
    Antonio Aizpuru
    Antonio Gutiérrez-Dávila
    Acta Mathematica Sinica, 2004, 20 : 949 - 960
  • [43] On axiomatizations of Boolean algebras
    L. P. Lisovik
    Ukrainian Mathematical Journal, 1997, 49 (7) : 1051 - 1057
  • [44] BOOLEAN UNIFORM ALGEBRAS
    BUNYATOV, MR
    DOKLADY AKADEMII NAUK SSSR, 1975, 224 (02): : 265 - 268
  • [45] BOOLEAN ALGEBRAS WITH OPERATORS
    JONSSON, B
    TARSKI, A
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1948, 54 (01) : 79 - 80
  • [46] Boolean algebras and spectrum
    Conflitti, Alessandro
    CARPATHIAN JOURNAL OF MATHEMATICS, 2008, 24 (02) : 20 - 25
  • [47] Depth of Boolean Algebras
    Garti, Shimon
    Shelah, Saharon
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2011, 52 (03) : 307 - 314
  • [48] On Poset Boolean Algebras
    Uri Abraham
    Robert Bonnet
    Wiesław Kubiś
    Matatyahu Rubin
    Order, 2003, 20 (3) : 265 - 290
  • [49] BOOLEAN SKEW ALGEBRAS
    CORNISH, WH
    ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1980, 36 (3-4): : 281 - 291
  • [50] ENLARGEMENTS OF BOOLEAN ALGEBRAS
    GONSHOR, H
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (01): : A27 - &
12345