Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Feiner's hierarchy"'
Publikováno v:
Computability and Models ISBN: 9781461352259
We investigate differences in isomorphism types and elementary theories of Rogers semilattices of arithmetical numberings, depending on different levels of the arithmetical hierarchy. It is proved that new types of isomorphism appear as the arithmeti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c0f1062480556348f8fcfb56e9498f3
https://doi.org/10.1007/978-1-4615-0755-0_4
https://doi.org/10.1007/978-1-4615-0755-0_4
