Zobrazeno 1 - 10
of 575
pro vyhledávání: '"Hyperarithmetical hierarchy"'
Autor:
Harizanov, Valentina
Publikováno v:
The Bulletin of Symbolic Logic, 2001 Sep 01. 7(3), 383-385.
Externí odkaz:
https://www.jstor.org/stable/2687759
Publikováno v:
In Studies in Logic and the Foundations of Mathematics 2000 144:71-88
Autor:
Enderton, H. B., Putnam, Hilary
Publikováno v:
The Journal of Symbolic Logic, 1970 Sep 01. 35(3), 429-430.
Externí odkaz:
https://www.jstor.org/stable/2270699
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.
This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fi
Autor:
Valentina Harizanov
Publikováno v:
Bulletin of Symbolic Logic. 7:383-385
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac5854ecebfe14909bb677f62c02a8ad
https://doi.org/10.2307/2687759
https://doi.org/10.2307/2687759
Autor:
Camrud, Caleb1 (AUTHOR) ccamrud1@gmail.com, Goldbring, Isaac2 (AUTHOR), McNicholl, Timothy H.1 (AUTHOR)
Publikováno v:
Archive for Mathematical Logic. Nov2023, Vol. 62 Issue 7/8, p1111-1129. 19p.
Autor:
V. L. Selivanov
Publikováno v:
Siberian Mathematical Journal. 25:474-488
In [I] the problem about the possibility of "structural" discription of the families of recursively enumerable sets, whose index sets belong to a given class of the arithmetical hierarchy, is posed. In this article, we will study the possibility of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bd0eae819c95130ee746719a3615738
https://doi.org/10.1007/bf00968988
https://doi.org/10.1007/bf00968988
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.