Theories of Rogers Semilattices of Analytical Numberings

Nikolay Bazhenov, Manat Mustafa, Zhansaya Tleuliyeva

Research output: Contribution to journalArticlepeer-review

Abstract

The paper studies Rogers semilattices, i.e. upper semilattices induced by the reducibility between numberings. Under the assumption of Projective Determinacy, we prove that for every non-zero natural number n, there are infinitely many pairwise elementarily non-equivalent Rogers semilattices for Σ1n-computable families.
Original languageEnglish
Article number708
Pages (from-to)701
Number of pages8
JournalLobachevskii Journal of Mathematics
DOIs
Publication statusAccepted/In press - 2021

Fingerprint Dive into the research topics of 'Theories of Rogers Semilattices of Analytical Numberings'. Together they form a unique fingerprint.

Cite this