Algebra and Logic

, Volume 44, Issue 3, pp 143–147

Elementary Theories for Rogers Semilattices

  • S. A. Badaev
  • S. S. Goncharov
  • A. Sorbi
Article

Abstract

It is proved that for every level of the arithmetic hierarchy, there exist infinitely many families of sets with pairwise non-elementarily equivalent Rogers semilattices.

Keywords

arithmetic hierarchy Rogers semilattice elementary theory 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, Inc. 2005

Authors and Affiliations

  • S. A. Badaev
    • 1
  • S. S. Goncharov
    • 2
  • A. Sorbi
    • 3
  1. 1.KazSUAlmatyKazakhstan
  2. 2.Institute of Mathematics SB RASNovosibirskRussia
  3. 3.Dip. di Scienze Matematiche ed Informatiche “Roberto Magari”SienaItaly

Personalised recommendations