Zobrazeno 1 - 10
of 322
pro vyhledávání: '"constructive reverse mathematics"'
Autor:
Fujiwara, Makoto1 (AUTHOR) makotofujiwara@rs.tus.ac.jp, Nemoto, Takako2 (AUTHOR)
Publikováno v:
Computability. Apr2024, p1-8. 8p.
Autor:
Kihara, Takayuki
There is a way of assigning a realizability notion to each degree of incomputability. In our setting, we make use of Weihrauch degrees (degrees of incomputability/discontinuity of partial multi-valued functions) to obtain Lifschitz-like relative real
Externí odkaz:
http://arxiv.org/abs/2002.10712
Autor:
Diener, Hannes
An introduction and overview of constructive reverse mathematics.
Comment: version 1.3
Comment: version 1.3
Externí odkaz:
http://arxiv.org/abs/1804.05495
Autor:
Berger, Josef1 jberger@mathematik.uni-muenchen.de, Ishihara, Hajime2 ishihara@jaist.ac.jp, Kihara, Takayuki3 kihara@i.nagoya-u.ac.jp, Nemoto, Takako2 t-nemoto@jaist.ac.jp
Publikováno v:
Archive for Mathematical Logic. Feb2019, Vol. 58 Issue 1/2, p203-217. 15p.
Autor:
LOEB, IRIS1 I.Loeb@math.canterbury.ac.nz
Publikováno v:
Logic Journal of the IGPL. Apr2009, Vol. 17 Issue 2, p173-177. 5p.
Autor:
Loeb, Iris1 I.Loeb@math.canterbury.ac.nz
Publikováno v:
Logic Journal of the IGPL. Jun2008, Vol. 16 Issue 3, p269-273. 5p.
Autor:
Fujiwara, Makoto
Publikováno v:
Beyond the Horizon of Computability
In the framework of finite-type arithmetic, we characterize the notion that an existence statement is primitive recursive Weihrauch reducible to the parallelization of another existence statement by a standard derivability notion in constructive reve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::ea5307e7f8c15700199359ad60d3b92e
http://europepmc.org/articles/PMC7309481
http://europepmc.org/articles/PMC7309481
Autor:
Diener, Hannes, Loeb, Iris
Publikováno v:
In Annals of Pure and Applied Logic 2009 157(1):50-61
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.