Zobrazeno 1 - 10
of 117
pro vyhledávání: '"Hirst, Jeffry"'
Autor:
Hirst, Jeffry L., Mummert, Carl
Publikováno v:
Computability 12 (2023) 203-225
In this paper, methods of second order and higher order reverse mathematics are applied to versions of a theorem of Banach that extends the Schroeder-Bernstein theorem. Some additional results address statements in higher order arithmetic formalizing
Externí odkaz:
http://arxiv.org/abs/2303.05355
We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis.
Externí odkaz:
http://arxiv.org/abs/2105.01719
Autor:
Davis, Caleb, Hirschfeldt, Denis R., Hirst, Jeffry L., Pardo, Jake, Pauly, Arno, Yokoyama, Keita
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:
http://arxiv.org/abs/1812.09943
Autor:
Hirst, Jeffry L.
Finding the set of leaves for an unbounded tree is a nontrivial process in both the Weihrauch and reverse mathematics settings. Despite this, many combinatorial principles for trees are equivalent to their restrictions to trees with leaf sets. For ex
Externí odkaz:
http://arxiv.org/abs/1812.09762
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:
http://arxiv.org/abs/1804.09638
Autor:
Hirst, Jeffry L., Mummert, Carl
We show that RT(2,4) cannot be proved with one typical application of RT(2,2) in an intuitionistic extension of RCA0 to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach's axio
Externí odkaz:
http://arxiv.org/abs/1611.03134
Autor:
Hirst, Jeffry L., Mummert, Carl
Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques of reverse mathematics to determine the logical strength of some basi
Externí odkaz:
http://arxiv.org/abs/1604.04912
Publikováno v:
Computability, vol. 4, no. 2, pp. 103-117, 2015
We study the reverse mathematics and computability of countable graph theory, obtaining the following results. The principle that every countable graph has a connected component is equivalent to $\mathsf{ACA}_0$ over $\mathsf{RCA}_0$. The problem of
Externí odkaz:
http://arxiv.org/abs/1406.4786
We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak K\"onig's lemma over $\mathrm{RCA}_0 + \mathrm{B}\Sigma^0_2$. This answers a question po
Externí odkaz:
http://arxiv.org/abs/1401.3823
The enterprise of comparing mathematical theorems according to their logical strength is an active area in mathematical logic. In this setting, called reverse mathematics, one investigates which theorems provably imply which others in a weak formal t
Externí odkaz:
http://arxiv.org/abs/1212.0157