Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Muchnik degrees"'
Autor:
Kuyper, Rutger 1
Publikováno v:
In Annals of Pure and Applied Logic October 2013 164(10):1025-1036
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
Publikováno v:
In Annals of Pure and Applied Logic 2008 156(1):51-58
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:
Rutger Kuyper
Publikováno v:
Notre Dame J. Formal Logic 60, no. 1 (2019), 119-138
We introduce a hierarchy of degree structures between the Med- vedev and Muchnik lattices which allow varying amounts of non-uniformity. We use these structures to introduce the notion of the uniformity of a Muchnik reduction, which expresses how uni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20a3fbf252782a5afeec5ac11aca1bd7
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:
Journal of Mathematical Logic. 16:1650006
Recall that [Formula: see text] is the lattice of Muchnik degrees of nonempty effectively compact sets in Euclidean space. We solve a long-standing open problem by proving that [Formula: see text] is dense, i.e. satisfies [Formula: see text]. Our pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::369772afa959d028c2c2f2d47d65e029
https://doi.org/10.1142/s0219061316500069
https://doi.org/10.1142/s0219061316500069
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:
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