×

zbMATH — the first resource for mathematics

Elementary theories for Rogers semilattices. (Russian, English) Zbl 1106.03041
Algebra Logika 44, No. 3, 261-268 (2005); translation in Algebra Logic 44, No. 3, 143-147 (2005).
Summary: It is proved that for every level of the arithmetical hierarchy there exist infinitely many families of sets with pairwise non-elementarily equivalent Rogers semilattices.

MSC:
03D45 Theory of numerations, effectively presented structures
PDF BibTeX XML Cite
Full Text: DOI