Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Martin's conjecture"'
Autor:
Downey, Rodney G., Shore, Richard A.
Publikováno v:
Proceedings of the American Mathematical Society, 1997 Oct 01. 125(10), 3033-3037.
Externí odkaz:
https://www.jstor.org/stable/2162361
Autor:
Vittorio Bard
Publikováno v:
Proceedings of the American Mathematical Society. 148:5369-5380
We show that part I of uniform Martin's conjecture follows from a local phenomenon, namely that if a non-constant Turing invariant function goes from the Turing degree $\boldsymbol x$ to the Turing degree $\boldsymbol y$, then $\boldsymbol x \le_T \b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ec204920d0e9f674b75c4a2ec9ef598
https://doi.org/10.1090/proc/15159
https://doi.org/10.1090/proc/15159
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.
Autor:
Andrew S. Marks
Publikováno v:
JOURNAL OF MATHEMATICAL LOGIC, vol 17, iss 1
Journal of Mathematical Logic, vol 17, iss 01
Marks, Andrew S. (2017). Uniformity, universality, and computability theory. JOURNAL OF MATHEMATICAL LOGIC, 17(1), 1750003-1750003. doi: 10.1142/S0219061317500039. UCLA: Retrieved from: http://www.escholarship.org/uc/item/0d72486j
Journal of Mathematical Logic, vol 17, iss 01
Marks, Andrew S. (2017). Uniformity, universality, and computability theory. JOURNAL OF MATHEMATICAL LOGIC, 17(1), 1750003-1750003. doi: 10.1142/S0219061317500039. UCLA: Retrieved from: http://www.escholarship.org/uc/item/0d72486j
We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of countable gr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4dd5e27026a25ac5deb5635ecedec2f4
Autor:
Nathanael L. Ackerman
Publikováno v:
Notre Dame J. Formal Logic 56, no. 4 (2015), 573-582
Suppose that $\sigma\in{\mathcal{L}}_{\omega _{1},\omega }(\mathrm{L})$ is such that all equations occurring in $\sigma$ are positive, have the same set of variables on each side of the equality symbol, and have at least one function symbol on each s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c87924a52fb9879562b564501d22188
https://doi.org/10.1215/00294527-3153588
https://doi.org/10.1215/00294527-3153588
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.