Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width

D. E. Pal’chunov, A. V. Trofimov

Research output: Contribution to journalArticlepeer-review

Abstract

We give a description of finitely axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Criteria are obtained for the elementary equivalence of superatomic Boolean algebras with distinguished dense subalgebra of finite width and the decidability of their elementary theories.

Original languageEnglish
Pages (from-to)1066-1076
Number of pages11
JournalSiberian Mathematical Journal
Volume57
Issue number6
DOIs
Publication statusPublished - 1 Nov 2016

Keywords

  • Boolean algebra
  • Boolean algebra with distinguished subalgebra
  • decidable theory
  • elementary equivalence
  • elementary theory
  • finitely axiomatizable theory
  • local algebra

Fingerprint

Dive into the research topics of 'Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width'. Together they form a unique fingerprint.

Cite this