Zobrazeno 1 - 10
of 772
pro vyhledávání: '"effective descriptive set theory"'
Autor:
CARL, MERLIN, SCHLICHT, PHILIPP
Publikováno v:
The Journal of Symbolic Logic, 2018 Jun 01. 83(2), 766-789.
Externí odkaz:
https://www.jstor.org/stable/26600347
Autor:
Carl, Merlin, Schlicht, Philipp
We study randomness beyond $\Pi^1_1$-randomness and its Martin-L\"of type variant, introduced in \cite{MR2340241} and further studied in \cite{Continuous-higher-randomness}. The class given by the infinite time Turing machines (\ITTM s), introduced b
Externí odkaz:
http://arxiv.org/abs/1612.02982
Publikováno v:
In Indagationes Mathematicae February 2018 29(1):396-428
Computable analysis and effective descriptive set theory are both concerned with complete metric spaces, functions between them and subsets thereof in an effective setting. The precise relationship of the various definitions used in the two disciplin
Externí odkaz:
http://arxiv.org/abs/1403.7997
Autor:
Hinman, Peter G.
Publikováno v:
Transactions of the American Mathematical Society, 1969 Aug 01. 142, 111-140.
Externí odkaz:
https://www.jstor.org/stable/1995348
Autor:
Moschovakis, Yiannis N.
Publikováno v:
In Annals of Pure and Applied Logic 2010 162(3):243-255
Autor:
Philipp Schlicht, Merlin Carl
Publikováno v:
The Journal of Symbolic Logic. 83:766-789
We study randomness beyond${\rm{\Pi }}_1^1$-randomness and its Martin-Löf type variant, which was introduced in [16] and further studied in [3]. Here we focus on a class strictly between${\rm{\Pi }}_1^1$and${\rm{\Sigma }}_2^1$that is given by the in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b66a891070e93af2e2fc6821427b6ba1
https://doi.org/10.1017/jsl.2018.3
https://doi.org/10.1017/jsl.2018.3
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:
INDAGATIONES MATHEMATICAE-NEW SERIES, vol 29, iss 1
Indagationes Mathematicae, vol 29, iss 1
Indagationes Mathematicae, vol 29, iss 1
Our very eloquent charge from Jan van Mill was to “draw a line to Brouwer from descriptive set theory, but this proved elusive: in fact there are few references to Brouwer, in Lusin (1928) [36] and Lusin (1930), none of them substantial; and even t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6781d34a2cf151bcddfe66580f9ed398
https://escholarship.org/uc/item/7kt68904
https://escholarship.org/uc/item/7kt68904
Autor:
Margarita V. Korovina, Oleg V. Kudinov
Publikováno v:
Unveiling Dynamics and Complexity
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Unveiling Dynamics and Complexity
Unveiling Dynamics and Complexity ISBN: 9783319587400
CiE
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Unveiling Dynamics and Complexity
Unveiling Dynamics and Complexity ISBN: 9783319587400
CiE
In the framework of computable topology, we propose an approach how to develop higher effective descriptive set theory. We introduce a wide class \(\mathbb {K}\) of effective \(T_0\)-spaces admitting Borel point recovering. For this class we propose
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e4bc6ab99f2bc1d87998099c1f4877c