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 条

[21] BOOLEAN ALGEBRAS
ENGELER, E
QUARTERLY OF APPLIED MATHEMATICS, 1966, 24 (01) : 36 - &
[22] CLOSURE ALGEBRAS AND BOOLEAN ALGEBRAS
LOGAN, GJ
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (01): : 93 - 96
[23] Skew Boolean algebras derived from generalized Boolean algebras
Jonathan Leech
Matthew Spinks
Algebra universalis, 2008, 58 : 287 - 302
[24] Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
Peter Backeman
Philipp Rümmer
Aleksandar Zeljić
Formal Methods in System Design, 2021, 57 : 121 - 156
[25] Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
Backeman, Peter
Rummer, Philipp
Zeljic, Aleksandar
FORMAL METHODS IN SYSTEM DESIGN, 2021, 57 (02) : 121 - 156
[26] Skew Boolean algebras derived from generalized Boolean algebras
Leech, Jonathan
Spinks, Matthew
ALGEBRA UNIVERSALIS, 2008, 58 (03) : 287 - 302
[27] Statistical debugging using compound boolean predicates
University of Wisconsin, Madison
ACM Int. Symp. Softw. Test. Anal., 2007, (5-15):
[28] ON ALGEBRAS WHOSE FACTOR ALGEBRAS ARE BOOLEAN
TARSKI, A
FELL, JMG
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1950, 56 (04) : 367 - 367
[29] Algebras with hyperidentities of the variety of Boolean algebras
Movsisyan, YM
IZVESTIYA MATHEMATICS, 1996, 60 (06) : 1219 - 1260
[30] Measures on Boolean algebras
Jech, Thomas
FUNDAMENTA MATHEMATICAE, 2017, 239 (02) : 177 - 183

← 1 2 3 4 5 →