Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

Enrichments of Boolean algebras by Presburger predicates

Tom 239 / 2017

Jamshid Derakhshan, Angus Macintyre Fundamenta Mathematicae 239 (2017), 1-17 MSC: Primary 03G05, 03C10, 03C60, 06E25; Secondary 06E05, 03C35, 03C65. DOI: 10.4064/fm673-1-2017 Opublikowany online: 12 May 2017

Streszczenie

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.

Autorzy

  • Jamshid DerakhshanSt Hilda’s College
    University of Oxford
    Cowley Place
    Oxford OX4 1DY, UK
    e-mail
  • Angus MacintyreSchool of Mathematical Sciences
    Queen Mary University of London
    Mile End Road
    London E1 4NS, UK
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek