Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jake Pardo"'
Publikováno v:
Computability
We consider two combinatorial principles, ${\sf{ERT}}$ and ${\sf{ECT}}$. Both are easily proved in ${\sf{RCA}}_0$ plus ${\Sigma^0_2}$ induction. We give two proofs of ${\sf{ERT}}$ in ${\sf{RCA}}_0$, using different methods to eliminate the use of ${\
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::300215870e5ba85698f030ae6230d66b
Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to ${\sf WKL}_0$, ${\sf ACA}_0$ and $\Pi ^1_ 1$-${\sf CA}_0$.
Comment: Prep
Comment: Prep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f63bae5c5cc8e015838706f985a93935