Showing 1–33 of 33 results for author: Dzhafarov, D

Effectiveness and strong graph indivisibility

Authors: Damir D. Dzhafarov, Reed Solomon, Andrea Volpi

Abstract: A relational structure is \emph{strongly indivisible} if for every partition $M = X_0 \sqcup X_1$, the induced substructure on $X_0$ or $X_1$ is isomorphic to $\mathcal{M}$. Cameron (1997) showed that a graph is strongly indivisible if and only if it is the complete graph, the completely disconnected graph, or the random graph. We analyze the strength of Cameron's theorem using tools from computab… ▽ More A relational structure is \emph{strongly indivisible} if for every partition $M = X_0 \sqcup X_1$, the induced substructure on $X_0$ or $X_1$ is isomorphic to $\mathcal{M}$. Cameron (1997) showed that a graph is strongly indivisible if and only if it is the complete graph, the completely disconnected graph, or the random graph. We analyze the strength of Cameron's theorem using tools from computability theory and reverse mathematics. We show that Cameron's theorem is is effective up to computable presentation, and give a partial result towards showing that the full theorem holds in the $ω$-model $\mathsf{REC}$. We also establish that Cameron's original proof makes essential use of the stronger induction scheme $\mathsf{I}Σ^0_2$. △ Less

Submitted 25 November, 2024; originally announced November 2024.

The Ginsburg--Sands theorem and computability theory

Authors: Heidi Benham, Andrew De Lapo, Damir Dzhafarov, Reed Solomon, Java Darleen Villano

Abstract: The Ginsburg--Sands theorem from topology states that every infinite topological space has an infinite subspace homeomorphic to exactly one of the following five topologies on $ω$: indiscrete, discrete, initial segment, final segment, and cofinite. The original proof is nonconstructive, and features an interesting application of Ramsey's theorem for pairs ($\mathsf{RT}^2_2$). We analyze this princ… ▽ More The Ginsburg--Sands theorem from topology states that every infinite topological space has an infinite subspace homeomorphic to exactly one of the following five topologies on $ω$: indiscrete, discrete, initial segment, final segment, and cofinite. The original proof is nonconstructive, and features an interesting application of Ramsey's theorem for pairs ($\mathsf{RT}^2_2$). We analyze this principle in computability theory and reverse mathematics, using Dorais's formalization of CSC spaces. Among our results are that the Ginsburg-Sands theorem for CSC spaces is equivalent to $\mathsf{ACA}_0$, while for Hausdorff spaces it is provable in $\mathsf{RCA}_0$. Furthermore, if we enrich a CSC space by adding the closure operator on points, then the Ginsburg-Sands theorem turns out to be equivalent to the chain/antichain principle ($\mathsf{CAC}$). The most surprising case is that of the Ginsburg-Sands theorem restricted to $T_1$ spaces. Here, we show that the principle lies strictly between $\mathsf{ACA}_0$ and $\mathsf{RT}^2_2$, yielding arguably the first natural theorem from outside logic to occupy this interval. As part of our analysis of the $T_1$ case we introduce a new class of purely combinatorial principles below $\mathsf{ACA}_0$ and not implied by $\mathsf{RT}^2_2$ which form a strict hierarchy generalizing the stable Ramsey's theorem for pairs ($\mathsf{SRT}^2_2$). We show that one of these, the $Σ^0_2$ subset principle ($Σ^0_2$-$\mathsf{Subset}$), has the property that it, together with the cohesive principle ($\mathsf{COH}$), is equivalent over $\mathsf{RCA}_0$ to the Ginsburg--Sands theorem for $T_1$ CSC spaces. △ Less

Submitted 25 June, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

Comments: Updated version

The tree pigeonhole principle in the Weihrauch degrees

Authors: Damir Dzhafarov, Reed Solomon, Manlio Valenti

Abstract: We study versions of the tree pigeonhole principle, $\mathsf{TT}^1$, in the context of Weihrauch-style computable analysis. The principle has previously been the subject of extensive research in reverse mathematics. Two outstanding questions from the latter investigation are whether $\mathsf{TT}^1$ is $Π^1_1$-conservative over the ordinary pigeonhole principle, $\mathsf{RT}^1$, and whether it is e… ▽ More We study versions of the tree pigeonhole principle, $\mathsf{TT}^1$, in the context of Weihrauch-style computable analysis. The principle has previously been the subject of extensive research in reverse mathematics. Two outstanding questions from the latter investigation are whether $\mathsf{TT}^1$ is $Π^1_1$-conservative over the ordinary pigeonhole principle, $\mathsf{RT}^1$, and whether it is equivalent to any first-order statement of second-order arithmetic. Using the recently introduced notion of the first-order part of an instance-solution problem, we formulate, and answer in the affirmative, the analogue of the first question for Weihrauch reducibility. We then use this, in combination with other results, to answer in the negative the analogue of the second question. Our proofs develop a new combinatorial machinery for constructing and understanding solutions to instances of $\mathsf{TT}^1$. △ Less

Submitted 9 February, 2025; v1 submitted 16 December, 2023; originally announced December 2023.

MSC Class: 03D78; 03D30; 03B30; 05C55; 05C05

On the first-order parts of problems in the Weihrauch degrees

Authors: Damir D. Dzhafarov, Reed Solomon, Keita Yokoyama

Abstract: We introduce the notion of the \emph{first-order part} of a problem in the Weihrauch degrees. Informally, the first-order part of a problem $\mathsf{P}$ is the strongest problem with codomaixn $ω$ that is Weihrauch reducible to $\mathsf{P}$. We show that the first-order part is always well-defined, examine some of the basic properties of this notion, and characterize the first-order parts of sever… ▽ More We introduce the notion of the \emph{first-order part} of a problem in the Weihrauch degrees. Informally, the first-order part of a problem $\mathsf{P}$ is the strongest problem with codomaixn $ω$ that is Weihrauch reducible to $\mathsf{P}$. We show that the first-order part is always well-defined, examine some of the basic properties of this notion, and characterize the first-order parts of several well-known problems from the literature. △ Less

Submitted 30 January, 2023; originally announced January 2023.

Reduction games, provability, and compactness

Authors: Damir D. Dzhafarov, Denis R. Hirschfeldt, Sarah C. Reitzes

Abstract: Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between $Π^1_2$ principles over $ω$-models of $\mathsf{RCA}_0$. They also introduced a version of this game that similarly captures provability over $\mathsf{RCA}_0$. We generalize and extend this game-theoretic framework to… ▽ More Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between $Π^1_2$ principles over $ω$-models of $\mathsf{RCA}_0$. They also introduced a version of this game that similarly captures provability over $\mathsf{RCA}_0$. We generalize and extend this game-theoretic framework to other formal systems, and establish a certain compactness result that shows that if an implication $\mathsf{Q} \to \mathsf{P}$ between two principles holds, then there exists a winning strategy that achieves victory in a number of moves bounded by a number independent of the specific run of the game. This compactness result generalizes an old proof-theoretic fact noted by H.~Wang (1981), and has applications to the reverse mathematics of combinatorial principles. We also demonstrate how this framework leads to a new kind of analysis of the logical strength of mathematical problems that refines both that of reverse mathematics and that of computability-theoretic notions such as Weihrauch reducibility, allowing for a kind of fine-structural comparison between $Π^1_2$ principles that has both computability-theoretic and proof-theoretic aspects, and can help us distinguish between these, for example by showing that a certain use of a principle in a proof is "purely proof-theoretic", as opposed to relying on its computability-theoretic strength. We give examples of this analysis to a number of principles at the level of $\mathsf{B}Σ^0_2$, uncovering new differences between their logical strengths. △ Less

Submitted 1 December, 2021; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: Accepted for publication in Journal of Mathematical Logic

Milliken's tree theorem and its applications: a computability-theoretic perspective

Authors: Paul-Elliot Anglès d'Auriac, Peter A. Cholak, Damir D. Dzhafarov, Benoît Monin, Ludovic Patey

Abstract: Milliken's tree theorem is a deep result in combinatorics that generalizes a vast number of other results in the subject, most notably Ramsey's theorem and its many variants and consequences. Motivated by a question of Dobrinen, we initiate the study of Milliken's tree theorem from the point of view of computability theory. Our advance here stems from a careful analysis of the Halpern-Laüchli theo… ▽ More Milliken's tree theorem is a deep result in combinatorics that generalizes a vast number of other results in the subject, most notably Ramsey's theorem and its many variants and consequences. Motivated by a question of Dobrinen, we initiate the study of Milliken's tree theorem from the point of view of computability theory. Our advance here stems from a careful analysis of the Halpern-Laüchli theorem which shows that it can be carried out effectively (i.e., that it is computably true). We use this as the basis of a new inductive proof of Milliken's tree theorem that permits us to gauge its effectivity in turn. The principal outcome of this is a comprehensive classification of the computable content of Milliken's tree theorem. We apply our analysis also to several well-known applications of Milliken's tree theorem, namely Devlin's theorem, a partition theorem for Rado graphs, and a generalized version of the so-called tree theorem of Chubb, Hirst, and McNicholl. These are all certain kinds of extensions of Ramsey's theorem for different structures, namely the rational numbers, the Rado graph, and perfect binary trees, respectively. We obtain a number of new results about how these principles relate to Milliken's tree theorem and to each other, in terms of both their computability-theoretic and combinatorial aspects. We identify again the familiar dichotomy between coding the halting problem or not based on the size of instance, but this is more subtle here owing to the more complicated underlying structures, particularly in the case of Devlin's theorem. We also establish new structural Ramsey-theoretic properties of the Rado graph theorem and the generalized Chubb-Hirst-McNicholl tree theorem using Zucker's notion of big Ramsey structure. △ Less

Submitted 16 April, 2021; v1 submitted 19 July, 2020; originally announced July 2020.

Comments: 136 pages

MSC Class: 05D10; 03D80; 03E05

COH, SRT22, and multiple functionals

Authors: Damir Dzhafarov, Ludovic Patey

Abstract: We prove the following result: there is a family $R = \langle R_0,R_1,\ldots \rangle$ of subsets of $ω$ such that for every stable coloring $c : [ω]^2 \to k$ hyperarithmetical in $R$ and every finite collection of Turing functionals, there is an infinite homogeneous set $H$ for $c$ such that none of the finitely many functionals map $R \oplus H$ to an infinite cohesive set for $R$. This extends th… ▽ More We prove the following result: there is a family $R = \langle R_0,R_1,\ldots \rangle$ of subsets of $ω$ such that for every stable coloring $c : [ω]^2 \to k$ hyperarithmetical in $R$ and every finite collection of Turing functionals, there is an infinite homogeneous set $H$ for $c$ such that none of the finitely many functionals map $R \oplus H$ to an infinite cohesive set for $R$. This extends the current best partial results towards the $\mathsf{SRT}^2_2$ vs. $\mathsf{COH}$ problem in reverse mathematics, and is also a partial result towards the resolution of several related problems, such as whether $\mathsf{COH}$ is omnisciently computably reducible to $\mathsf{SRT}^2_2$. △ Less

Submitted 2 July, 2020; v1 submitted 1 May, 2019; originally announced May 2019.

Comments: 13 pages

Some results concerning the $\mathsf{SRT}^2_2$ vs. $\mathsf{COH}$ problem

Authors: Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey

Abstract: The $\mathsf{SRT}^2_2$ vs.\ $\mathsf{COH}$ problem is a central problem in computable combinatorics and reverse mathematics, asking whether every Turing ideal that satisfies the principle $\mathsf{SRT}^2_2$ also satisfies the principle $\mathsf{COH}$. This paper is a contribution towards further developing some of the main techniques involved in attacking this problem. We study several principles… ▽ More The $\mathsf{SRT}^2_2$ vs.\ $\mathsf{COH}$ problem is a central problem in computable combinatorics and reverse mathematics, asking whether every Turing ideal that satisfies the principle $\mathsf{SRT}^2_2$ also satisfies the principle $\mathsf{COH}$. This paper is a contribution towards further developing some of the main techniques involved in attacking this problem. We study several principles related to each of $\mathsf{SRT}^2_2$ and $\mathsf{COH}$, and prove results that highlight the limits of our current understanding, but also point to new directions ripe for further exploration. △ Less

Submitted 25 March, 2020; v1 submitted 29 January, 2019; originally announced January 2019.

The determined property of Baire in reverse math

Authors: Eric P. Astor, Damir Dzhafarov, Antonio Montalbán, Reed Solomon, Linda Brown Westrick

Abstract: We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any $ω$-model of $DPB$ must be closed under hyperarithmetic reduction, but $DPB$ is not a theory of hyperarithmetic analysis. We show that whenever $M\subseteq 2^ω$ is th… ▽ More We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any $ω$-model of $DPB$ must be closed under hyperarithmetic reduction, but $DPB$ is not a theory of hyperarithmetic analysis. We show that whenever $M\subseteq 2^ω$ is the second-order part of an $ω$-model of $DPB$, then for every $Z \in M$, there is a $G \in M$ such that $G$ is $Δ^1_1$-generic relative to $Z$. △ Less

Submitted 4 July, 2020; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: Greatly expanded introduction as requested by referee

MSC Class: 03B30

Journal ref: J. symb. log. 85 (2020) 166-198

Ramsey's theorem and products in the Weihrauch degrees

Authors: Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly

Abstract: We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey's theorem. Among other results, we obtain an answer to a question of Brattka, by showing that Ramsey's theorem for pairs ($\mathsf{RT}^2_2$) is strictly Weihrauch below the parallel product of the stable Ramsey's theorem for pairs and the cohesive principle (… ▽ More We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey's theorem. Among other results, we obtain an answer to a question of Brattka, by showing that Ramsey's theorem for pairs ($\mathsf{RT}^2_2$) is strictly Weihrauch below the parallel product of the stable Ramsey's theorem for pairs and the cohesive principle ($\mathsf{SRT}^2_2 \times \mathsf{COH}$). △ Less

Submitted 20 October, 2019; v1 submitted 29 April, 2018; originally announced April 2018.

Comments: 30 pages

The reverse mathematics of Hindman's theorem for sums of exactly two elements

Authors: Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch, Jr., Reed Solomon, Linda Brown Westrick

Abstract: Hindman's Theorem (HT) states that for every coloring of $\mathbb N$ with finitely many colors, there is an infinite set $H \subseteq \mathbb N$ such that all nonempty sums of distinct elements of $H$ have the same color. The investigation of restricted versions of HT from the computability-theoretic and reverse-mathematical perspectives has been a productive line of research recently. In particul… ▽ More Hindman's Theorem (HT) states that for every coloring of $\mathbb N$ with finitely many colors, there is an infinite set $H \subseteq \mathbb N$ such that all nonempty sums of distinct elements of $H$ have the same color. The investigation of restricted versions of HT from the computability-theoretic and reverse-mathematical perspectives has been a productive line of research recently. In particular, HT$^{\leqslant n}_k$ is the restriction of HT to sums of at most $n$ many elements, with at most $k$ colors allowed, and HT$^{=n}_k$ is the restriction of HT to sums of \emph{exactly} $n$ many elements and $k$ colors. Even HT$^{\leqslant 2}_2$ appears to be a strong principle, and may even imply HT itself over RCA$_0$. In contrast, HT$^{=2}_2$ is known to be strictly weaker than HT over RCA$_0$, since HT$^{=2}_2$ follows immediately from Ramsey's Theorem for $2$-colorings of pairs. In fact, it was open for several years whether HT$^{=2}_2$ is computably true. We show that HT$^{=2}_2$ and similar results with addition replaced by subtraction and other operations are not provable in RCA$_0$, or even WKL$_0$. In fact, we show that there is a computable instance of HT$^{=2}_2$ such that all solutions can compute a function that is diagonally noncomputable relative to $\emptyset'$. It follows that there is a computable instance of HT$^{=2}_2$ with no $Σ^0_2$ solution, which is the best possible result with respect to the arithmetical hierarchy. Furthermore, a careful analysis of the proof of the result above about solutions DNC relative to $\emptyset'$ shows that HT$^{=2}_2$ implies RRT$^{=2}_2$, the Rainbow Ramsey Theorem for $2$-colorings of pairs, over RCA$_0$. The most interesting aspect of our construction of computable colorings as above is the use of an effective version of the Lovász Local Lemma due to Rumyantsev and Shen. △ Less

Submitted 28 May, 2018; v1 submitted 25 April, 2018; originally announced April 2018.

Effectiveness for the Dual Ramsey Theorem

Authors: Damir Dzhafarov, Stephen Flood, Reed Solomon, Linda Brown Westrick

Abstract: We analyze the Dual Ramsey Theorem for $k$ partitions and $\ell$ colors ($\mathsf{DRT}^k_\ell$) in the context of reverse math, effective analysis, and strong reductions. Over $\mathsf{RCA}_0$, the Dual Ramsey Theorem stated for Baire colorings is equivalent to the statement for clopen colorings and to a purely combinatorial theorem $\mathsf{cDRT}^k_\ell$. When the theorem is stated for Borel colo… ▽ More We analyze the Dual Ramsey Theorem for $k$ partitions and $\ell$ colors ($\mathsf{DRT}^k_\ell$) in the context of reverse math, effective analysis, and strong reductions. Over $\mathsf{RCA}_0$, the Dual Ramsey Theorem stated for Baire colorings is equivalent to the statement for clopen colorings and to a purely combinatorial theorem $\mathsf{cDRT}^k_\ell$. When the theorem is stated for Borel colorings and $k\geq 3$, the resulting principles are essentially relativizations of $\mathsf{cDRT}^k_\ell$. For each $α$, there is a computable Borel code for a $Δ^0_α$ coloring such that any partition homogeneous for it computes $\emptyset^{(α)}$ or $\emptyset^{(α-1)}$ depending on whether $α$ is infinite or finite. For $k=2$, we present partial results giving bounds on the effective content of the principle. A weaker version for $Δ^0_n$ reduced colorings is equivalent to $\mathsf{D}^n_2$ over $\mathsf{RCA}_0+\mathsf{I}Σ^0_{n-1}$ and in the sense of strong Weihrauch reductions. △ Less

Submitted 20 May, 2021; v1 submitted 29 September, 2017; originally announced October 2017.

Comments: 34 pages. Improvements to exposition. Accepted to NDJFL

MSC Class: 03B30; 05D10

Joins in the strong Weihrauch degrees

Authors: Damir Dzhafarov

Abstract: The Weihrauch degrees and strong Weihrauch degrees are partially ordered structures representing degrees of unsolvability of various mathematical problems. Their study has been widely applied in computable analysis, complexity theory, and more recently, also in computable combinatorics. We answer an open question about the algebraic structure of the strong Weihrauch degrees, by exhibiting a join o… ▽ More The Weihrauch degrees and strong Weihrauch degrees are partially ordered structures representing degrees of unsolvability of various mathematical problems. Their study has been widely applied in computable analysis, complexity theory, and more recently, also in computable combinatorics. We answer an open question about the algebraic structure of the strong Weihrauch degrees, by exhibiting a join operation that turns these degrees into a lattice. Previously, the strong Weihrauch degrees were only known to form a lower semi-lattice. We then show that unlike the Weihrauch degrees, which are known to form a distributive lattice, the lattice of strong Weihrauch degrees is not distributive. Therefore, the two structures are not isomorphic. △ Less

Submitted 5 April, 2017; originally announced April 2017.

A note on the reverse mathematics of the sorites

Authors: Damir D. Dzhafarov

Abstract: Sorites is an ancient piece of paradoxical reasoning pertaining to sets with the following properties: (Supervenience) elements of the set are mapped into some set of "attributes", (Tolerance) if an element has a given attribute then so are the elements in some vicinity of this element, and (Connectedness) such vicinities can be arranged into pairwise overlapping finite chains connecting two eleme… ▽ More Sorites is an ancient piece of paradoxical reasoning pertaining to sets with the following properties: (Supervenience) elements of the set are mapped into some set of "attributes", (Tolerance) if an element has a given attribute then so are the elements in some vicinity of this element, and (Connectedness) such vicinities can be arranged into pairwise overlapping finite chains connecting two elements with different attributes. Obviously, if Superveneince is assumed, then (1) Tolerance implies lack of Connectedness, and (2) Connectedness implies lack of Tolerance. Using a very general but precise definition of "vicinity", Dzhafarov and Dzhafarov (2010) offered two formalizations of these mutual contrapositions. Mathematically, the formalizations are equally valid, but in this paper, we offer a different basis by which to compare them. Namely, we show that the formalizations have different proof-theoretic strengths when measured in the framework of reverse mathematics: the formalization of (1) is provable in $\mathsf{RCA}_0$, while the formalization of (2) is equivalent to $\mathsf{ACA}_0$ over $\mathsf{RCA}_0$. Thus, in a certain precise sense, the approach of (1) is more constructive than that of (2). △ Less

Submitted 1 October, 2016; originally announced October 2016.

Journal ref: The Review of Symbolic Logic 12 (2019) 30-36

Coloring trees in reverse mathematics

Authors: Damir Dzhafarov, Ludovic Patey

Abstract: The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{<ω}$, there is a set of nodes isomorphic to $2^{<ω}$ which is homogeneous for the coloring. This is a generalization of the more familiar Ramsey's theorem for pairs ($\mathsf{RT}^2_2$), which has been studied… ▽ More The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{<ω}$, there is a set of nodes isomorphic to $2^{<ω}$ which is homogeneous for the coloring. This is a generalization of the more familiar Ramsey's theorem for pairs ($\mathsf{RT}^2_2$), which has been studied extensively in computability theory and reverse mathematics. We answer a longstanding open question about the strength of $\mathsf{TT}^2_2$, by showing that this principle does not imply the arithmetic comprehension axiom ($\mathsf{ACA}_0$) over the base system, recursive comprehension axiom ($\mathsf{RCA}_0$), of second-order arithmetic. In addition, we give a new and self-contained proof of a recent result of Patey that $\mathsf{TT}^2_2$ is strictly stronger than $\mathsf{RT}^2_2$. Combined, these results establish $\mathsf{TT}^2_2$ as the first known example of a natural combinatorial principle to occupy the interval strictly between $\mathsf{ACA}_0$ and $\mathsf{RT}^2_2$. The proof of this fact uses an extension of the bushy tree forcing method, and develops new techniques for dealing with combinatorial statements formulated on trees, rather than on $ω$. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Comments: 25 pages

The uniform content of partial and linear orders

Authors: Eric P. Astor, Damir D. Dzhafarov, Reed Solomon, Jacob Suggs

Abstract: The principle $ADS$ asserts that every linear order on $ω$ has an infinite ascending or descending sequence. This has been studied extensively in the reverse mathematics literature, beginning with the work of Hirschfeldt and Shore. We introduce the principle $ADC$, which asserts that linear order has an infinite ascending or descending chain. The two are easily seen to be equivalent over the base… ▽ More The principle $ADS$ asserts that every linear order on $ω$ has an infinite ascending or descending sequence. This has been studied extensively in the reverse mathematics literature, beginning with the work of Hirschfeldt and Shore. We introduce the principle $ADC$, which asserts that linear order has an infinite ascending or descending chain. The two are easily seen to be equivalent over the base system $RCA_0$ of second order arithmetic; they are even computably equivalent. However, we prove that $ADC$ is strictly weaker than $ADS$ under Weihrauch (uniform) reducibility. In fact, we show that even the principle $SADS$, which is the restriction of $ADS$ to linear orders of type $ω+ ω^*$, is not Weihrauch reducible to $ADC$. In this connection, we define a more natural stable form of $ADS$ that we call $General\text-SADS$, which is the restriction of $ADS$ to linear orders of type $k + ω$, $ω+ ω^*$, or $ω+ k$, where $k$ is a finite number. We define $GeneralSADC$ analogously. We prove that $GeneralSADC$ is not Weihrauch reducible to $SADS$, and so in particular, each of $SADS$ and $SADC$ is strictly weaker under Weihrauch reducibility than its general version. Finally, we turn to the principle $CAC$, which asserts that every partial order on $ω$ has an infinite chain or antichain. This has two previously studied stable variants, $SCAC$ and $WSCAC$, which were introduced by Hirschfeldt and Jockusch, and by Jockusch, Kastermans, Lempp, Lerman, and Solomon, respectively, and which are known to be equivalent over $RCA_0$. Here, we show that $SCAC$ is strictly weaker than $WSCAC$ under even computable reducibility. △ Less

Submitted 19 May, 2016; originally announced May 2016.

Effectiveness of Hindman's theorem for bounded sums

Authors: Damir D. Dzhafarov, Carl G. Jockusch, Jr., Reed Solomon, Linda Brown Westrick

Abstract: We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and… ▽ More We consider the strength and effective content of restricted versions of Hindman's Theorem in which the number of colors is specified and the length of the sums has a specified finite bound. Let $\mathsf{HT}^{\leq n}_k$ denote the assertion that for each $k$-coloring $c$ of $\mathbb{N}$ there is an infinite set $X \subseteq \mathbb{N}$ such that all sums $\sum_{x \in F} x$ for $F \subseteq X$ and $0 < |F| \leq n$ have the same color. We prove that there is a computable $2$-coloring $c$ of $\mathbb{N}$ such that there is no infinite computable set $X$ such that all nonempty sums of at most $2$ elements of $X$ have the same color. It follows that $\mathsf{HT}^{\leq 2}_2$ is not provable in $\mathsf{RCA}_0$ and in fact we show that it implies $\mathsf{SRT}^2_2$ in $\mathsf{RCA}_0$. We also show that there is a computable instance of $\mathsf{HT}^{\leq 3}_3$ with all solutions computing $0'$. The proof of this result shows that $\mathsf{HT}^{\leq 3}_3$ implies $\mathsf{ACA}_0$ in $\mathsf{RCA}_0$. △ Less

Submitted 27 March, 2016; originally announced March 2016.

Ramsey's theorem for singletons and strong computable reducibility

Authors: Damir D. Dzhafarov, Ludovic Patey, Reed Solomon, Linda Brown Westrick

Abstract: We answer a question posed by Hirschfeldt and Jockusch by showing that whenever $k > \ell$, Ramsey's theorem for singletons and $k$-colorings, $\mathsf{RT}^1_k$, is not strongly computably reducible to the stable Ramsey's theorem for $\ell$-colorings, $\mathsf{SRT}^2_\ell$. Our proof actually establishes the following considerably stronger fact: given $k > \ell$, there is a coloring $c : ω\to k$ s… ▽ More We answer a question posed by Hirschfeldt and Jockusch by showing that whenever $k > \ell$, Ramsey's theorem for singletons and $k$-colorings, $\mathsf{RT}^1_k$, is not strongly computably reducible to the stable Ramsey's theorem for $\ell$-colorings, $\mathsf{SRT}^2_\ell$. Our proof actually establishes the following considerably stronger fact: given $k > \ell$, there is a coloring $c : ω\to k$ such that for every stable coloring $d : [ω]^2 \to \ell$ (computable from $c$ or not), there is an infinite homogeneous set $H$ for $d$ that computes no infinite homogeneous set for $c$. This also answers a separate question of Dzhafarov, as it follows that the cohesive principle, $\mathsf{COH}$, is not strongly computably reducible to the stable Ramsey's theorem for all colorings, $\mathsf{SRT}^2_{<\infty}$. The latter is the strongest partial result to date in the direction of giving a negative answer to the longstanding open question of whether $\mathsf{COH}$ is implied by the stable Ramsey's theorem in $ω$-models of $\mathsf{RCA}_0$. △ Less

Submitted 31 May, 2016; v1 submitted 14 February, 2016; originally announced February 2016.

Comments: 13 pages

Generics for Mathias forcing over general Turing ideals

Authors: Peter A. Cholak, Damir D. Dzhafarov, Mariya I. Soskova

Abstract: In Mathias forcing, conditions are pairs $(D,S)$ of sets of natural numbers, in which $D$ is finite, $S$ is infinite, and $\max D < \min S$. The Turing degrees and computational characteristics of generics for this forcing in the special (but important) case where the infinite sets $S$ are computable were thoroughly explored by Cholak, Dzhafarov, Hirst, and Slaman~\cite{CDHS-2014}. In this paper,… ▽ More In Mathias forcing, conditions are pairs $(D,S)$ of sets of natural numbers, in which $D$ is finite, $S$ is infinite, and $\max D < \min S$. The Turing degrees and computational characteristics of generics for this forcing in the special (but important) case where the infinite sets $S$ are computable were thoroughly explored by Cholak, Dzhafarov, Hirst, and Slaman~\cite{CDHS-2014}. In this paper, we undertake a similar investigation for the case where the sets $S$ are members of general countable Turing ideals, and give conditions under which generics for Mathias forcing over one ideal compute generics for Mathias forcing over another. It turns out that if $\mathcal{I}$ does not contain only the computable sets, then non-trivial information can be encoded into the generics for Mathias forcing over $\mathcal{I}$. We give a classification of this information in terms of computability-theoretic properties of the ideal, using coding techniques that also yield new results about introreducibility. In particular, we extend a result of Slaman and Groszek and show that there is an infinite $Δ^0_3$ set with no introreducible subset of the same degree. △ Less

Submitted 6 July, 2016; v1 submitted 8 May, 2015; originally announced May 2015.

Comments: This version corrects an omission in the last proof. This omission was pointed out to us by Rose Weisshaar. To appear in the Israel Journal of Math

Strong reductions and combinatorial principles

Authors: Damir D. Dzhafarov

Abstract: This paper is a contribution to the growing investigation of strong reducibilities between $Π^1_2$ statements of second-order arithmetic, viewed as an extension of the traditional analysis of reverse mathematics. We answer several questions of Hirschfeldt and Jockusch (to appear) about uniform and strong computable reductions between various combinatorial principles related to Ramsey's theorem for… ▽ More This paper is a contribution to the growing investigation of strong reducibilities between $Π^1_2$ statements of second-order arithmetic, viewed as an extension of the traditional analysis of reverse mathematics. We answer several questions of Hirschfeldt and Jockusch (to appear) about uniform and strong computable reductions between various combinatorial principles related to Ramsey's theorem for pairs. Among other results, we establish that the principle $\mathsf{SRT}^2_2$ is not uniformly or strongly computably reducible to $\mathsf{D}^2_{<\infty}$, that $\mathsf{COH}$ is not uniformly reducible to $\mathsf{D}^2_{<\infty}$, and that $\mathsf{COH}$ is not strongly reducible to $\mathsf{D}^2_2$. The latter also extends a prior result of Dzhafarov (2015). We introduce a number of new techniques for controlling the combinatorial and computability-theoretic properties of the problems and solutions we construct in our arguments. △ Less

Submitted 7 April, 2015; v1 submitted 6 April, 2015; originally announced April 2015.

Classificatory Sorites, Probabilistic Supervenience, and Rule-Making

Authors: Damir D. Dzhafarov, Ehtibar N. Dzhafarov

Abstract: We view sorites in terms of stimuli acting upon a system and evoking this system's responses. Supervenience of responses on stimuli implies that they either lack tolerance (i.e., they change in every vicinity of some of the stimuli), or stimuli are not always connectable by finite chains of stimuli in which successive members are `very similar'. If supervenience does not hold, the properties of to… ▽ More We view sorites in terms of stimuli acting upon a system and evoking this system's responses. Supervenience of responses on stimuli implies that they either lack tolerance (i.e., they change in every vicinity of some of the stimuli), or stimuli are not always connectable by finite chains of stimuli in which successive members are `very similar'. If supervenience does not hold, the properties of tolerance and connectedness cannot be formulated and therefore soritical sequences cannot be constructed. We hypothesize that supervenience in empirical systems (such as people answering questions) is fundamentally probabilistic. The supervenience of probabilities of responses on stimuli is stable, in the sense that `higher-order' probability distributions can always be reduced to `ordinary' ones. In making rules about which stimuli ought to correspond to which responses, the main characterization of choices in soritical situations is their arbitrariness. We argue that arbitrariness poses no problems for classical logic. △ Less

Submitted 23 April, 2015; v1 submitted 3 February, 2015; originally announced February 2015.

MSC Class: 03A05; 03B42; 03B48

The Complexity of Primes in Computable UFDs

Authors: Damir D. Dzhafarov, Joseph R. Mileti

Abstract: In many simple integral domains, such as $\mathbb{Z}$ or $\mathbb{Z}[i]$, there is a straightforward procedure to determine if an element is prime by simply reducing to a direct check of finitely many potential divisors. Despite the fact that such a naive approach does not immediately translate to integral domains like $\mathbb{Z}[x]$ or the ring of integers in an algebraic number field, there sti… ▽ More In many simple integral domains, such as $\mathbb{Z}$ or $\mathbb{Z}[i]$, there is a straightforward procedure to determine if an element is prime by simply reducing to a direct check of finitely many potential divisors. Despite the fact that such a naive approach does not immediately translate to integral domains like $\mathbb{Z}[x]$ or the ring of integers in an algebraic number field, there still exist computational procedures that work to determine the prime elements in these cases. In contrast, we will show how to computably extend $\mathbb{Z}$ in such a way that we can control the ordinary integer primes in any $Π_2^0$ way, all while maintaining unique factorization. As a corollary, we establish the existence of a computable UFD such that the set of primes is $Π_2^0$-complete in every computable presentation. △ Less

Submitted 21 July, 2014; v1 submitted 9 July, 2014; originally announced July 2014.

Journal ref: Notre Dame J. Formal Logic 59, no. 2 (2018), 139-156

Notions of robust information coding

Authors: Damir Dzhafarov, Gregory Igusa

Abstract: We introduce and study several notions of computability-theoretic reducibility between subsets of $ω$ that are "robust" in the sense that if only partial information is available about the oracle, then partial information can be recovered about the output. These are motivated by reductions between $Π^1_2$ principles in the context of reverse mathematics, and also encompasses generic and coarse red… ▽ More We introduce and study several notions of computability-theoretic reducibility between subsets of $ω$ that are "robust" in the sense that if only partial information is available about the oracle, then partial information can be recovered about the output. These are motivated by reductions between $Π^1_2$ principles in the context of reverse mathematics, and also encompasses generic and coarse reducibilities, previously studied by Jockusch and Schupp (2012). △ Less

Submitted 11 June, 2014; originally announced June 2014.

Cohesive avoidance and arithmetical sets

Authors: Damir D. Dzhafarov

Abstract: An open question in reverse mathematics is whether the cohesive principle, $\COH$, is implied by the stable form of Ramsey's theorem for pairs, $\SRT^2_2$, in $ω$-models of $\RCA$. One typical way of establishing this implication would be to show that for every sequence $\vec{R}$ of subsets of $ω$, there is a set $A$ that is $Δ^0_2$ in $\vec{R}$ such that every infinite subset of $A$ or $\bar{A}$… ▽ More An open question in reverse mathematics is whether the cohesive principle, $\COH$, is implied by the stable form of Ramsey's theorem for pairs, $\SRT^2_2$, in $ω$-models of $\RCA$. One typical way of establishing this implication would be to show that for every sequence $\vec{R}$ of subsets of $ω$, there is a set $A$ that is $Δ^0_2$ in $\vec{R}$ such that every infinite subset of $A$ or $\bar{A}$ computes an $\vec{R}$-cohesive set. In this article, this is shown to be false, even under far less stringent assumptions: for all natural numbers $n \geq 2$ and $m < 2^n$, there is a sequence $\vec{R} = \sequence{R_0,...,R_{n-1}}$ of subsets of $ω$ such that for any partition $A_0,...,A_{m-1}$ of $ω$ arithmetical in $\vec{R}$, there is an infinite subset of some $A_j$ that computes no set cohesive for $\vec{R}$. This complements a number of previous results in computability theory on the computational feebleness of infinite sets of numbers with prescribed combinatorial properties. The proof is a forcing argument using an adaptation of the method of Seetapun showing that every finite coloring of pairs of integers has an infinite homogeneous set not computing a given non-computable set. △ Less

Submitted 4 December, 2012; originally announced December 2012.

On uniform relationships between combinatorial problems

Authors: François G. Dorais, Damir D. Dzhafarov, Jeffry L. Hirst, Joseph R. Mileti, Paul Shafer

Abstract: 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 theory roughly corresponding to computable mathematics. Since the proofs of such implications take place in classical logic, they may in principle in… ▽ More 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 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 non-uniform decisions about how to proceed in a given construction. In practice, however, if a theorem $\mathsf{Q}$ implies a theorem $\mathsf{P}$, it is usually because there is a direct uniform translation of the problems represented by $\mathsf{P}$ into the problems represented by $\mathsf{Q}$, in a precise sense. 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 \geq 1$, if $j < k$ then Ramsey's theorem for $n$-tuples and $k$ many colors does not uniformly reduce to Ramsey's theorem for $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. Uniform 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. △ Less

Submitted 16 April, 2015; v1 submitted 1 December, 2012; originally announced December 2012.

Limits to joining with generics and randoms

Authors: Adam R. Day, Damir D. Dzhafarov

Abstract: Posner and Robinson (1981) proved that if $S \subseteq ω$ is non-computable, then there exists a $G \subseteq ω$ such that $S \oplus G \geq_T G'$. Shore and Slaman (1999) extended this result to all $n \in ω$, by showing that if $S \nleq_T \emptyset^{(n-1)}$ then there exists a $G$ such that $S \oplus G \geq_T G^{(n)}$. Their argument employs Kumabe-Slaman forcing, and so the set they obtain, unli… ▽ More Posner and Robinson (1981) proved that if $S \subseteq ω$ is non-computable, then there exists a $G \subseteq ω$ such that $S \oplus G \geq_T G'$. Shore and Slaman (1999) extended this result to all $n \in ω$, by showing that if $S \nleq_T \emptyset^{(n-1)}$ then there exists a $G$ such that $S \oplus G \geq_T G^{(n)}$. Their argument employs Kumabe-Slaman forcing, and so the set they obtain, unlike that of the Posner-Robinson theorem, is not generic for Cohen forcing in any way. We answer the question of whether this is a necessary complication by showing that for all $n \geq 1$, the set $G$ of the Shore-Slaman theorem cannot be chosen to be even weakly 2-generic. Our result applies to several other effective forcing notions commonly used in computability theory, and we also prove that the set $G$ cannot be chosen to be 2-random. △ Less

Submitted 14 September, 2012; originally announced September 2012.

Comments: Submitted to "Proceedings of the 2011 Asian Logic Conference"

On Mathias generic sets

Authors: Peter A. Cholak, Damir D. Dzhafarov, Jeffry L. Hirst

Abstract: We present some results about generics for computable Mathias forcing. The $n$-generics and weak $n$-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing relation, and show that if $G$ is any $n$-generic with $n \geq 3$ then it satisfies the jump property $G^{(n-1)} = G' \oplus \emptyset^{(n)}$. We prove that every such… ▽ More We present some results about generics for computable Mathias forcing. The $n$-generics and weak $n$-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing relation, and show that if $G$ is any $n$-generic with $n \geq 3$ then it satisfies the jump property $G^{(n-1)} = G' \oplus \emptyset^{(n)}$. We prove that every such $G$ has generalized high degree, and so cannot have even Cohen 1-generic degree. On the other hand, we show that $G$, together with any bi-immune set $A \leq_T \emptyset^{(n-1)}$, computes a Cohen $n$-generic set. △ Less

Submitted 12 February, 2012; v1 submitted 29 January, 2012; originally announced January 2012.

Computably enumerable partial orders

Authors: Peter A. Cholak, Damir D. Dzhafarov, Noah Schweber, Richard A. Shore

Abstract: We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for such orders, and show that the former is strictly stronger than the latter. We then show that every $\emptyset'$-computable structure (or even just of c.e.\ degr… ▽ More We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for such orders, and show that the former is strictly stronger than the latter. We then show that every $\emptyset'$-computable structure (or even just of c.e.\ degree) has the same degree spectrum as some computably enumerable (co-c.e.)\ partial order, and hence that there is a c.e.\ (co-c.e.)\ partial order with spectrum equal to the set of nonzero degrees. △ Less

Submitted 18 October, 2011; originally announced October 2011.

Reverse mathematics and properties of finite character

Authors: Damir D. Dzhafarov, Carl Mummert

Abstract: We study the reverse mathematics of the principle stating that, for every property of finite character, every set has a maximal subset satisfying the property. In the context of set theory, this variant of Tukey's lemma is equivalent to the axiom of choice. We study its behavior in the context of second-order arithmetic, where it applies to sets of natural numbers only, and give a full characteriz… ▽ More We study the reverse mathematics of the principle stating that, for every property of finite character, every set has a maximal subset satisfying the property. In the context of set theory, this variant of Tukey's lemma is equivalent to the axiom of choice. We study its behavior in the context of second-order arithmetic, where it applies to sets of natural numbers only, and give a full characterization of its strength in terms of the quantifier structure of the formula defining the property. We then study the interaction between properties of finite character and finitary closure operators, and the interaction between these properties and a class of nondeterministic closure operators. △ Less

Submitted 24 January, 2012; v1 submitted 15 September, 2011; originally announced September 2011.

Comments: This paper corresponds to section 4 of arXiv:1009.3242, "Reverse mathematics and equivalents of the axiom of choice", which has been abbreviated and divided into two pieces for publication

MSC Class: 03B30; 03F35 (Primary); 03E25 (Secondary)

On the strength of the finite intersection principle

Authors: Damir D. Dzhafarov, Carl Mummert

Abstract: We study the logical content of several maximality principles related to the finite intersection principle ($F\IP$) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to $\ACA$ over $\RCA$, while others are strictly weaker, and incomparable with $\WKL$. We show that there is a computable i… ▽ More We study the logical content of several maximality principles related to the finite intersection principle ($F\IP$) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to $\ACA$ over $\RCA$, while others are strictly weaker, and incomparable with $\WKL$. We show that there is a computable instance of $F\IP$ all of whose solutions have hyperimmune degree, and that every computable instance has a solution in every nonzero c.e.\ degree. In terms of other weak principles previously studied in the literature, the former result translates to $F\IP$ implying the omitting partial types principle ($\mathsf{OPT}$). We also show that, modulo $Σ^0_2$ induction, $F\IP$ lies strictly below the atomic model theorem ($\mathsf{AMT}$). △ Less

Submitted 15 September, 2011; originally announced September 2011.

Comments: This paper corresponds to section 3 of arXiv:1009.3242, "Reverse mathematics and equivalents of the axiom of choice", which has been abbreviated and divided into two pieces for publication

MSC Class: 03B30; 03F35 (Primary) 03E25 (Secondary)

Journal ref: Israel Journal of Mathematics, August 2013, Volume 196, Issue 1, pp 345-361

Stable Ramsey's theorem and measure

Authors: Damir D. Dzhafarov

Abstract: The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all stable colorings to subclasses of it that are non-null in a certain effective measure-theoretic sense. We show that the sets that can compute infinite homogeneous sets for non-null many computable stable colorings and the… ▽ More The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all stable colorings to subclasses of it that are non-null in a certain effective measure-theoretic sense. We show that the sets that can compute infinite homogeneous sets for non-null many computable stable colorings and the sets that can compute infinite homogeneous sets for all computable stable colorings agree below $\emp'$ but not in general. We also answer the analogs of two well known questions about the stable Ramsey's theorem by showing that our weaker principle does not imply $\mathsf{COH}$ or $\mathsf{WKL}_0$ in the context of reverse mathematics. △ Less

Submitted 11 October, 2010; originally announced October 2010.

Comments: Accepted for publication in Notre Dame Journal of Formal Logic

Infinite saturated orders

Authors: Damir D. Dzhafarov

Abstract: We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations in the context of reverse mathematics, showing that depending on one's choice of definitions it is either provable in $\mathsf{RCA}_0$ or equivalent to… ▽ More We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations in the context of reverse mathematics, showing that depending on one's choice of definitions it is either provable in $\mathsf{RCA}_0$ or equivalent to $\mathsf{ACA}_0$. △ Less

Submitted 11 October, 2010; originally announced October 2010.

Comments: Accepted for publication in Order

Reverse mathematics and equivalents of the axiom of choice

Authors: Damir D. Dzhafarov, Carl Mummert

Abstract: We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle asserting that every family of sets has a $\subseteq$-maximal subfamily with the finite intersection property and the principle asserting that if $P$ is a property of finite character then every set has a $\subseteq$-maxima… ▽ More We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle asserting that every family of sets has a $\subseteq$-maximal subfamily with the finite intersection property and the principle asserting that if $P$ is a property of finite character then every set has a $\subseteq$-maximal subset of which $P$ holds. We show that these principles and their variations have a wide range of strengths in the context of second-order arithmetic, from being equivalent to $\mathsf{Z}_2$ to being weaker than $\mathsf{ACA}_0$ and incomparable with $\mathsf{WKL}_0$. In particular, we identify a choice principle that, modulo $Σ^0_2$ induction, lies strictly below the atomic model theorem principle $\mathsf{AMT}$ and implies the omitting partial types principle $\mathsf{OPT}$. △ Less

Submitted 30 September, 2010; v1 submitted 16 September, 2010; originally announced September 2010.

MSC Class: 03B30 (Primary) 03F35; 03D45 (Secondary)