Zobrazeno 1 - 10
of 134
pro vyhledávání: '"König's lemma"'
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:
Bouzkoura Khadija, Benkaddour Said
Publikováno v:
JP Journal of Fixed Point Theory and Applications. 12:37-46
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a452cac095bc167a6283f49e00198eba
https://doi.org/10.17654/fp012010037
https://doi.org/10.17654/fp012010037
Autor:
A. I. Stukachev
Publikováno v:
Algebra and Logic. 55:507-526
We consider the class of approximation spaces generated by admissible sets, in particular by hereditarily finite superstructures over structures. Generalized computability on approximation spaces is conceived of as effective definability in dynamic l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d4ea59b8a7e09aa12870ce56743a8bb
https://doi.org/10.1007/s10469-017-9421-1
https://doi.org/10.1007/s10469-017-9421-1
Autor:
Slivnik, Tadej
V delu predstavimo neskončna dvojiška drevesa in neskončne poti v drevesih. Definiramo Cantorjev prostor kot produkt števno neskončno kopij diskretnega prostora 2 = {0, 1}. Na kratko predstavimo Turingove stroje in izračunljivo analizo, v kater
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::606b46c6c764e8dfae210b8f509df72e
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821
https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821
Autor:
K. Vela Velupillai
Publikováno v:
New Mathematics and Natural Computation. 12:219-239
At least seven kinds of misconceptions about constructive and computable mathematics prevail in economics. In this paper, the infelicitous claims of computable or constructive frameworks for the excess demand functions of microeconomics, constructive
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a69ed8653d7c436f89f94ace6849edca
https://doi.org/10.1142/s1793005716500150
https://doi.org/10.1142/s1793005716500150
Autor:
George Weaver
Publikováno v:
History and Philosophy of Logic. 38:48-56
Konig, D. [1926. ‘Sur les correspondances multivoques des ensembles’, Fundamenta Mathematica, 8, 114–34] includes a result subsequently called Konig's Infinity Lemma. Konig, D. [1927. ‘Uber eine Schlussweise aus dem Endlichen ins Unendliche
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::943dfcbb15d25756966fc44f05acd83e
https://doi.org/10.1080/01445340.2015.1065460
https://doi.org/10.1080/01445340.2015.1065460
Autor:
Tin Lok Wong
Publikováno v:
Proceedings of the American Mathematical Society. 144:4021-4024
We present a previously unpublished proof of the conservativity of W K L 0 \mathrm {WKL}_0 over I Σ 1 \mathrm I\Sigma _1 using the Arithmetized Completeness Theorem, which, in particular, constitutes an ω \omega -interpretation of W K L 0 \mathrm {
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1bf461d867e48cb17edbee8bc0265dae
https://doi.org/10.1090/proc/13125
https://doi.org/10.1090/proc/13125
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.