2003 | OriginalPaper | Chapter
Algebraic Properties of Rogers Semilattices of Arithmetical Numberings
Authors : Serikzhan Badaev, Sergey Goncharov, Sergey Podzorov, Andrea Sorbi
Published in: Computability and Models
Publisher: Springer US
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We investigate initial segments and intervals of Rogers semilattices of arithmetical families. We prove that there exist intervals with different algebraic properties; the elementary theory of any Rogers semilattice at arithmetical level n ≥ 2 is hereditarily undecidable; the class of all Rogers semilattices of a fixed level n ≥ 2 has an incomplete theory.