Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Belanger, David R."'
Autor:
Belanger, David R.
We prove that the Cohesiveness Principle (COH) is $\Pi^1_1$ conservative over $RCA_0 + I\Sigma^0_n$ and over $RCA_0 + B\Sigma^0_n$ for all $n \geq 2$ by recursion-theoretic means. We first characterize COH over $RCA_0 + B\Sigma^0_2$ as a `jumped' ver
Externí odkaz:
http://arxiv.org/abs/2212.13011
Autor:
Belanger, David R.
Publikováno v:
In Annals of Pure and Applied Logic July-August 2015 166(7-8):767-799
Autor:
BELANGER, DAVID R.
Publikováno v:
The Journal of Symbolic Logic, 2014 Sep 01. 79(3), 955-984.
Externí odkaz:
https://www.jstor.org/stable/43303769
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.