Zobrazeno 1 - 10
of 22
pro vyhledávání: '"computable algebra"'
Publikováno v:
The Journal of Symbolic Logic, 2018 Jun 01. 83(2), 443-460.
Externí odkaz:
https://www.jstor.org/stable/26600331
Autor:
HARRISON-TRAINOR, MATTHEW
Publikováno v:
The Journal of Symbolic Logic, 2018 Mar 01. 83(1), 237-255.
Externí odkaz:
https://www.jstor.org/stable/26600318
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Annals of Pure and Applied Logic. (1-3):71-113
Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classes of algebraic structures, such as groups, rings, lattices, and so fort
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ba25a214d8933402137762df347d581