We use the framework of reverse mathematics to address the question of, given a mathematical problem, whether or not it is easier to find an infinite partial solution than it is to find a complete solution. Following Flood, we say that a Ramsey-type variant of a problem is the problem with the same instances but whose solutions are the infinite partial solutions to the original problem. We study Ramsey-type variants of problems related to K\"onig's lemma, such as restrictions of K\"onig's lemma, Boolean satisfiability problems, and graph coloring problems. We find that sometimes the Ramsey-type variant of a problem is strictly easier than the original problem (as Flood showed with weak K\"onig's lemma) and that sometimes the Ramsey-type variant of a problem is equivalent to the original problem. We show that the Ramsey-type variant of weak K\"onig's lemma is robust in the sense of Montalban: it is equivalent to several perturbations of itself. We also clarify the relationship between Ramsey-type weak K\"onig's lemma and algorithmic randomness by showing that Ramsey-type weak weak K\"onig's lemma is equivalent to the problem of finding diagonally non-recursive functions and that these problems are strictly easier than Ramsey-type weak K\"onig's lemma. This answers a question of Flood.Comment: 43 page
Abstract. The enterprise of comparing mathematical theorems according to their logical strength is an active area in mathematical logic, with one of the most common frameworks for doing so being reverse mathematics. In this setting, one investigates which theorems provably imply which others in a weak formal theory roughly corresponding to computable mathematics. Since the proofs of such implications take place in classical logic, they may in principle involve appeals to multiple applications of a particular theorem, or to nonuniform decisions about how to proceed in a given construction. In practice, however, if a theorem Q implies a theorem P, it is usually because there is a direct uniform translation of the problems represented by P into the problems represented by Q, in a precise sense formalized by Weihrauch reducibility. We study this notion of uniform reducibility in the context of several natural combinatorial problems, and compare and contrast it with the traditional notion of implication in reverse mathematics. We show, for instance, that for all n, j, k ≥ 1, if j < k then Ramsey's theorem for n-tuples and k many colors is not uniformly, or Weihrauch, reducible to Ramsey's theorem for n-tuples and j many colors. The two theorems are classically equivalent, so our analysis gives a genuinely finer metric by which to gauge the relative strength of mathematical propositions. We also study Weak König's Lemma, the Thin Set Theorem, and the Rainbow Ramsey's Theorem, along with a number of their variants investigated in the literature. Weihrauch reducibility turns out to be connected with sequential forms of mathematical principles, where one wishes to solve infinitely many instances of a particular problem simultaneously. We exploit this connection to uncover new points of difference between combinatorial problems previously thought to be more closely related.
We analyze Ekeland’s variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $$\Pi ^1_1\text{- }\mathsf {CA}_0$$ Π 1 1 - CA 0 , a strong theory of second-order arithmetic, while natural restrictions (e.g. to compact spaces or to continuous functions) yield statements equivalent to weak König’s lemma ($$\mathsf {WKL}_0$$ WKL 0 ) and to arithmetical comprehension ($$\mathsf {ACA}_0$$ ACA 0 ). We also find that the localized version of Ekeland’s variational principle is equivalent to $$\Pi ^1_1\text{- }\mathsf {CA}_0$$ Π 1 1 - CA 0 , even when restricted to continuous functions. This is a rare example of a statement about continuous functions having great logical strength.
Background: In the mouse olfactory system, the role of the olfactory bulb in guiding olfactory sensory neuron (OSN) axons to their targets is poorly understood. What cell types within the bulb are necessary for targeting is unknown. What genes are important for this process is also unknown. Although projection neurons are not required, other cell-types within the external plexiform and glomerular layers also form synapses with OSNs. We hypothesized that these cells are important for targeting, and express spatially differentially expressed guidance cues that act to guide OSN axons within the bulb.
A quasi-order $Q$ induces two natural quasi-orders on $P(Q)$, but if $Q$ is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Goubault-Larrecq showed that moving from a well-quasi-order $Q$ to the quasi-orders on $P(Q)$ preserves well-quasi-orderedness in a topological sense. Specifically, Goubault-Larrecq proved that the upper topologies of the induced quasi-orders on $P(Q)$ are Noetherian, which means that they contain no infinite strictly descending sequences of closed sets. We analyze various theorems of the form "if $Q$ is a well-quasi-order then a certain topology on (a subset of) $P(Q)$ is Noetherian'' in the style of reverse mathematics, proving that these theorems are equivalent to ACA_0 over RCA_0. To state these theorems in RCA_0 we introduce a new framework for dealing with second-countable topological spaces
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.