Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Hyperarithmetical hierarchy"'
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:
Lobachevskii Journal of Mathematics. 41:145-150
A standard tool for classifying the complexity of equivalence relations on $$\omega$$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce minimal degre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca65e08a64927fc9ed882a7145fbf9bd
https://doi.org/10.1134/s199508022002002x
https://doi.org/10.1134/s199508022002002x
Autor:
Simpson, Stephen G.
Publikováno v:
The Bulletin of Symbolic Logic, 2009 Dec 01. 15(4), 385-409.
Externí odkaz:
https://www.jstor.org/stable/30249365
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:
Stephen G. Simpson
Publikováno v:
Bull. Symbolic Logic 15, iss. 4 (2009), 385-409
A well known fact is that every Lebesgue measurable set is regular, i.e., it includes an Fσ set of the same measure. We analyze this fact from a metamathematical or foundational standpoint. We study a family of Muchnik degrees corresponding to measu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07eec4bf646fb157108d5322842d6f20
https://doi.org/10.2178/bsl/1255526079
https://doi.org/10.2178/bsl/1255526079
Autor:
Dominique Lecomte, Olivier Finkel
Publikováno v:
Annals of Pure and Applied Logic. 160:163-191
We prove that, for each countable ordinal ξ≥1, there exist some Σξ0-complete ω-powers, and some Πξ0-complete ω-powers, extending previous works on the topological complexity of ω-powers [O. Finkel, Topological properties of omega context fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad9e884393d65a7cf6d05e02df96c3e0
https://doi.org/10.1016/j.apal.2009.02.005
https://doi.org/10.1016/j.apal.2009.02.005
Autor:
Stephen G. Simpson
Publikováno v:
Tohoku Math. J. (2) 63, no. 4 (2011), 489-517
The study of mass problems and Muchnik degrees was originally motivated by Kolmogorov's non-rigorous 1932 interpretation of intuitionism as a calculus of problems. The purpose of this paper is to summarize recent investigations into the lattice of Mu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d5736562d8d82ca60d72f72250d50789
https://projecteuclid.org/euclid.tmj/1325886278
https://projecteuclid.org/euclid.tmj/1325886278
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:
Finkel, Olivier, Lecomte, Dominique
Publikováno v:
Annals of Pure and Applied Logic
Annals of Pure and Applied Logic, Elsevier Masson, 2009, 160 (2), pp.163-191
Annals of Pure and Applied Logic, 2009, 160 (2), pp.163-191
Annals of Pure and Applied Logic, Elsevier Masson, 2009, 160 (2), pp.163-191
Annals of Pure and Applied Logic, 2009, 160 (2), pp.163-191
We prove that, for each non null countable ordinal alpha, there exist some Sigma^0_alpha-complete omega-powers, and some Pi^0_alpha-complete omega-powers, extending previous works on the topological complexity of omega-powers. We prove effective vers
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b63a8b9183da4e8f5f75c2b2fb276e1
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00168644
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00168644