Showing 1–27 of 27 results for author: Coskey, S

Tukey morphisms between finite relations

Authors: Rhett Barton, Samuel Coskey, Paul Ellis

Abstract: We investigate Tukey morphisms between binary relations, establishing several fundamental lemmas. We then specialize to finite binary relations, using computational methods to classify all binary relations with at most $6$ points in the domain and codomain up to bimorphism. Finally we give a construction of finite binary relations with arbitrary dominating number and dual dominating number. We investigate Tukey morphisms between binary relations, establishing several fundamental lemmas. We then specialize to finite binary relations, using computational methods to classify all binary relations with at most $6$ points in the domain and codomain up to bimorphism. Finally we give a construction of finite binary relations with arbitrary dominating number and dual dominating number. △ Less

Submitted 6 February, 2023; originally announced February 2023.

New jump operators on equivalence relations

Authors: John D. Clemens, Samuel Coskey

Abstract: We introduce a new family of jump operators on Borel equivalence relations; specifically, for each countable group $Γ$ we introduce the $Γ$-jump. We study the elementary properties of the $Γ$-jumps and compare them with other previously studied jump operators. One of our main results is to establish that for many groups $Γ$, the $Γ$-jump is \emph{proper} in the sense that for any Borel equivalence… ▽ More We introduce a new family of jump operators on Borel equivalence relations; specifically, for each countable group $Γ$ we introduce the $Γ$-jump. We study the elementary properties of the $Γ$-jumps and compare them with other previously studied jump operators. One of our main results is to establish that for many groups $Γ$, the $Γ$-jump is \emph{proper} in the sense that for any Borel equivalence relation $E$ the $Γ$-jump of $E$ is strictly higher than $E$ in the Borel reducibility hierarchy. On the other hand there are examples of groups $Γ$ for which the $Γ$-jump is not proper. To establish properness, we produce an analysis of Borel equivalence relations induced by continuous actions of the automorphism group of what we denote the full $Γ$-tree, and relate these to iterates of the $Γ$-jump. We also produce several new examples of equivalence relations that arise from applying the $Γ$-jump to classically studied equivalence relations and derive generic ergodicity results related to these. We apply our results to show that the complexity of the isomorphism problem for countable scattered linear orders properly increases with the rank. △ Less

Submitted 10 May, 2022; v1 submitted 14 August, 2020; originally announced August 2020.

MSC Class: 03E15; 03C15; 06A05

Journal ref: Journal of mathematical logic 22(3):2250015, 2022

Computable reducibility of equivalence relations and an effective jump operator

Authors: John D. Clemens, Samuel Coskey, Gianni Krakoff

Abstract: We introduce the computable FS-jump, an analog of the classical Friedman--Stanley jump in the context of equivalence relations on the natural numbers. We prove that the computable FS-jump is proper with respect to computable reducibility. We then study the effect of the computable FS-jump on computably enumerable equivalence relations (ceers). We introduce the computable FS-jump, an analog of the classical Friedman--Stanley jump in the context of equivalence relations on the natural numbers. We prove that the computable FS-jump is proper with respect to computable reducibility. We then study the effect of the computable FS-jump on computably enumerable equivalence relations (ceers). △ Less

Submitted 16 May, 2022; v1 submitted 28 May, 2020; originally announced May 2020.

MSC Class: 03D25; 03D30; 03D65; 03F15

Journal ref: Journal of Symbolic Logic 88(2):540-561, 2023

On splitting and splittable families

Authors: Samuel Coskey, Bryce Frederickson, Samuel Mathers, Hao-Tong Yan

Abstract: A set $A$ is said to split a finite set $B$ if exactly half the elements of $B$ (up to rounding) are contained in $A$. We study the dual notions: (1) splitting family, which is a collection of sets such that any subset of $\{1,\ldots,k\}$ is split by a set in the family, and (2) splittable family, which is a collection of sets such that there is a single set $A$ that splits each set in the family.… ▽ More A set $A$ is said to split a finite set $B$ if exactly half the elements of $B$ (up to rounding) are contained in $A$. We study the dual notions: (1) splitting family, which is a collection of sets such that any subset of $\{1,\ldots,k\}$ is split by a set in the family, and (2) splittable family, which is a collection of sets such that there is a single set $A$ that splits each set in the family. We study the minimum size of a splitting family on $\{1,\ldots,k\}$, as well as the structure of splitting families of minimum size. We use a mixture of computational and theoretical techniques. We additionally study the related notions of $\mathord{\leq}4$-splitting families and $4$-splitting families, and we provide lower bounds on the minimum size of such families. Next we investigate splittable families that are just on the edge of unsplittability in several senses. First, we study splittable families that have the fewest number of splitters. We give a complete characterization in the case of two sets, and computational results in the case of three sets. Second, we define a splitting game, and study splittable families for which a splitter cannot be found under adversarial conditions. △ Less

Submitted 28 February, 2022; v1 submitted 30 November, 2018; originally announced November 2018.

MSC Class: 05A18; 05D05; 11K38

Journal ref: Australasian journal of combinatorics 82(3):268-296, 2022

Conjugacy for homogeneous ordered graphs

Authors: Samuel Coskey, Paul Ellis

Abstract: We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that the isomorphism relation on substructures of $G$ is Borel reducible to the conjugacy relation on automorphisms of $G$. We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that the isomorphism relation on substructures of $G$ is Borel reducible to the conjugacy relation on automorphisms of $G$. △ Less

Submitted 12 April, 2018; originally announced April 2018.

MSC Class: 03C15; 20E45; 03E15

Journal ref: Archive for mathematical logic 58(3-4):457-467, 2019

On the classification of automorphisms of trees

Authors: Kyle Beserra, Samuel Coskey

Abstract: We identify the complexity of the classification problem for automorphisms of a given countable regularly branching tree up to conjugacy. We consider both the rooted and unrooted cases. Additionally, we calculate the complexity of the conjugacy problem in the case of automorphisms of several non-regularly branching trees. We identify the complexity of the classification problem for automorphisms of a given countable regularly branching tree up to conjugacy. We consider both the rooted and unrooted cases. Additionally, we calculate the complexity of the conjugacy problem in the case of automorphisms of several non-regularly branching trees. △ Less

Submitted 14 November, 2018; v1 submitted 7 September, 2017; originally announced September 2017.

MSC Class: 03E15; 05C05; 05C63; 20E45

Journal ref: Contributions to discrete mathematics 14(1):203-213, 2019

The classification of countable models of set theory

Authors: John Clemens, Samuel Coskey, Samuel Dworetzky

Abstract: We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be. We then give partial results concerning the classification of countable well-founded models of ZFC. We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be. We then give partial results concerning the classification of countable well-founded models of ZFC. △ Less

Submitted 13 January, 2020; v1 submitted 14 July, 2017; originally announced July 2017.

Journal ref: Mathematical logic quarterly 66(2):182-189, 2020

On the classification of vertex-transitive structures

Authors: John Clemens, Samuel Coskey, Stephanie Potter

Abstract: We consider the classification problem for several classes of countable structures which are "vertex-transitive", meaning that the automorphism group acts transitively on the elements. (This is sometimes called homogeneous.) We show that the classification of countable vertex-transitive digraphs and partial orders are Borel complete. We identify the complexity of the classification of countable ve… ▽ More We consider the classification problem for several classes of countable structures which are "vertex-transitive", meaning that the automorphism group acts transitively on the elements. (This is sometimes called homogeneous.) We show that the classification of countable vertex-transitive digraphs and partial orders are Borel complete. We identify the complexity of the classification of countable vertex-transitive linear orders. Finally we show that the classification of vertex-transitive countable tournaments is properly above $E_0$ in complexity. △ Less

Submitted 30 October, 2018; v1 submitted 7 July, 2017; originally announced July 2017.

MSC Class: 03E15; 05C63; 05C20

Journal ref: Archive for mathematical logic 58(5-6):565-574, 2019

The set splittability problem

Authors: Peter Bernstein, Cashous Bortner, Samuel Coskey, Shuni Li, Connor Simpson

Abstract: The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or ceiling.) It is natural to study the set splittability problem in the context of combinatorial discrepancy theory and its applications, since a collection is spl… ▽ More The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or ceiling.) It is natural to study the set splittability problem in the context of combinatorial discrepancy theory and its applications, since a collection is splittable if and only if it has discrepancy $\leq1$. We introduce a natural generalization of splittability problem called the $p$-splittability problem, where we replace the fraction $\frac12$ in the definition with an arbitrary fraction $p\in(0,1)$. We first show that the $p$-splittability problem is NP-complete. We then give several criteria for $p$-splittability, including a complete characterization of $p$-splittability for three or fewer sets ($p$ arbitrary), and for four or fewer sets ($p=\frac12$). Finally we prove the asymptotic prevalence of splittability over unsplittability in an appropriate sense. △ Less

Submitted 14 August, 2019; v1 submitted 4 November, 2016; originally announced November 2016.

MSC Class: 05D05; 05C15; 11K38; 68Q17

Journal ref: Australasian journal of combinatorics 75(2):190-209, 2019

The conjugacy problem for automorphism groups of homogeneous digraphs

Authors: Samuel Coskey, Paul Ellis

Abstract: We decide the Borel complexity of the conjugacy problem for automorphism groups of countable homogeneous digraphs. Many of the homogeneous digraphs, as well as several other homogeneous structures, have already been addressed in previous articles. In this article we complete the program, and establish a dichotomy theorem that this complexity is either the minimum or the maximum among relations whi… ▽ More We decide the Borel complexity of the conjugacy problem for automorphism groups of countable homogeneous digraphs. Many of the homogeneous digraphs, as well as several other homogeneous structures, have already been addressed in previous articles. In this article we complete the program, and establish a dichotomy theorem that this complexity is either the minimum or the maximum among relations which are classifiable by countable structures. We also discuss the possibility of extending our results beyond graphs to more general classes of countable homogeneous structures. △ Less

Submitted 14 September, 2015; originally announced September 2015.

MSC Class: 03C15; 20E45; 03E15

Journal ref: Contributions to discrete mathematics 12(1):62-73, 2017

On generalizations of separating and splitting families

Authors: Daniel Condon, Samuel Coskey, Luke Serafin, Cody Stockdale

Abstract: The work in this article is concerned with two different types of families of finite sets: separating families and splitting families (they are also called "systems"). These families have applications in combinatorial search, coding theory, cryptography, and related fields. We define and study generalizations of these two notions, which we have named $n$-separating families and $n$-splitting famil… ▽ More The work in this article is concerned with two different types of families of finite sets: separating families and splitting families (they are also called "systems"). These families have applications in combinatorial search, coding theory, cryptography, and related fields. We define and study generalizations of these two notions, which we have named $n$-separating families and $n$-splitting families. For each of these new notions, we outline their basic properties and connections with the well-studied notions. We then spend the greatest effort obtaining lower and upper bounds on the minimal size of the families. For $n$-separating families we obtain bounds which are asymptotically tight within a linear factor. For $n$-splitting families this appears to be much harder; we provide partial results and open questions. △ Less

Submitted 7 May, 2015; v1 submitted 15 December, 2014; originally announced December 2014.

MSC Class: 05B30; 05D40; 51E30; 94B25

Journal ref: Electronic journal of combinatorics 23(3):P3.36, 2016

The classification problem for finitely generated operator systems and spaces

Authors: Martín Argerami, Samuel Coskey, Mehrdad Kalantar, Matthew Kennedy, Martino Lupini, Marcin Sabok

Abstract: The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely cl… ▽ More The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely classifiable (or smooth); in fact a finitely generated operator system is classified by its complete theory when regarded as a structure in continuous logic. In the particular case of operator systems generated by a single unitary, a complete invariant is given by the spectrum of the unitary up to a rigid motion of the circle, provided that the spectrum contains at least 5 points. As a consequence of these results we show that the relation on compact subsets of $\mathbb{C}^{n}$, given by homeomorphism via a degree 1 polynomial, is smooth. △ Less

Submitted 15 April, 2015; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: v2: 32 pages. Minor corrections in Section 4

MSC Class: 47L25; 03E15 (Primary); 46L52; 03C98 (Secondary)

The conjugacy problem for automorphism groups of countable homogeneous structures

Authors: Samuel Coskey, Paul Ellis

Abstract: We consider the conjugacy problem for the automorphism groups of a number of countable homogeneous structures. In each case we find the precise complexity of the conjugacy relation in the sense of Borel reducibility. We consider the conjugacy problem for the automorphism groups of a number of countable homogeneous structures. In each case we find the precise complexity of the conjugacy relation in the sense of Borel reducibility. △ Less

Submitted 21 June, 2016; v1 submitted 24 June, 2014; originally announced June 2014.

MSC Class: 03C15; 20E45; 03E15

Journal ref: Mathematical logic quarterly 62(6):580-589, 2016

A López-Escobar theorem for metric structures, and the topological Vaught conjecture

Authors: Samuel Coskey, Martino Lupini

Abstract: We show that a version of López-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric $\mathcal{L}$-structures supported on $\mathbb{U}$. Then for any $\mathrm{Iso}(\mathbb{U})$-invariant Borel function… ▽ More We show that a version of López-Escobar's theorem holds in the setting of logic for metric structures. More precisely, let $\mathbb{U}$ denote the Urysohn sphere and let $\mathrm{Mod}(\mathcal{L},\mathbb{U})$ be the space of metric $\mathcal{L}$-structures supported on $\mathbb{U}$. Then for any $\mathrm{Iso}(\mathbb{U})$-invariant Borel function $f\colon \mathrm{Mod}(\mathcal{L}, \mathbb{U})\rightarrow \lbrack 0,1]$, there exists a sentence $φ$ of $\mathcal{L}_{ω_{1}ω}$ such that for all $M\in \mathrm{Mod}(\mathcal{L},\mathbb{U})$ we have $f(M)=φ^{M}$. At the same time we introduce a variant $\mathcal{L}_{ω_1ω}^\ast$ of $\mathcal{L}_{ω_1ω}$ in which the usual quantifiers are replaced with category quantifiers, and establish the analogous theorem for $\mathcal{L}_{ω_1ω}^\ast$. This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of a Polish group action is Borel isomorphic to the isomorphism relation on the set of models of a given $\mathcal{L}_{ω_{1}ω}$-sentence that are supported on the Urysohn sphere. This in turn provides a model-theoretic reformulation of the topological Vaught conjecture. △ Less

Submitted 6 September, 2015; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: 17 pages

MSC Class: Primary 03C95; 03E15; Secondary 54E50

Journal ref: Fundamenta mathematicae 234(1):55-72, 2016

Generalized Choquet spaces

Authors: Samuel Coskey, Philipp Schlicht

Abstract: We introduce an analog to the notion of Polish space for spaces of weight $\leqκ$, where $κ$ is an uncountable regular cardinal such that $κ^{<κ}=κ$. Specifically, we consider spaces in which player II has a winning strategy in a variant of the strong Choquet game which runs for $κ$ many rounds. After discussing the basic theory of these games and spaces, we prove that there is a surjectively univ… ▽ More We introduce an analog to the notion of Polish space for spaces of weight $\leqκ$, where $κ$ is an uncountable regular cardinal such that $κ^{<κ}=κ$. Specifically, we consider spaces in which player II has a winning strategy in a variant of the strong Choquet game which runs for $κ$ many rounds. After discussing the basic theory of these games and spaces, we prove that there is a surjectively universal such space and that there are exactly $2^κ$ many such spaces up to homeomorphism. We also establish a Kuratowski-like theorem that under mild hypotheses, any two such spaces of size $>κ$ are isomorphic by a $κ$-Borel function. We then consider a dynamic version of the Choquet game and show that in this case the existence of a winning strategy for player II implies the existence of a winning tactic, that is, a strategy that depends only on the most recent move. We also study a generalization of Polish ultrametric spaces where the ultrametric is allowed to take values in a set of size $κ$. We show that in this context, there is a family of universal Urysohn-type spaces, and we give a characterization of such spaces which are hereditarily $κ$-Baire. △ Less

Submitted 20 October, 2014; v1 submitted 24 October, 2013; originally announced October 2013.

Journal ref: Fundamenta mathematicae 232(3):227-248, 2016

Ioana's superrigidity theorem and orbit equivalence relations

Authors: Samuel Coskey

Abstract: In this expository article, we give a survey of Adrian Ioana's cocycle superrigidity theorem for profinite actions of Property (T) groups, and its applications to ergodic theory and set theory. In addition to a statement and proof of Ioana's theorem, this article features: * An introduction to rigidity, including a crash course in Borel cocycles and a summary of some of the best-known superrigid… ▽ More In this expository article, we give a survey of Adrian Ioana's cocycle superrigidity theorem for profinite actions of Property (T) groups, and its applications to ergodic theory and set theory. In addition to a statement and proof of Ioana's theorem, this article features: * An introduction to rigidity, including a crash course in Borel cocycles and a summary of some of the best-known superrigidity theorems; * Some easy applications of superrigidity, both to ergodic theory (orbit equivalence) and set theory (Borel reducibility); and * A streamlined proof of Simon Thomas's theorem that the classification of torsion-free abelian groups of finite rank is intractable. △ Less

Submitted 31 December, 2013; v1 submitted 9 October, 2013; originally announced October 2013.

Comments: This article is expository

MSC Class: 37A20; 20K15; 03E15

Journal ref: ISRN algebra #387540, 2013

The Fundamental Theorem on Symmetric Polynomials: History's First Whiff of Galois Theory

Authors: Ben Blum-Smith, Samuel Coskey

Abstract: We describe the Fundamental Theorem on Symmetric Polynomials (FTSP), exposit a classical proof, and offer a novel proof that arose out of an informal course on group theory. The paper develops this proof in tandem with the pedagogical context that led to it. We also discuss the role of the FTSP both as a lemma in the original historical development of Galois theory and as an early example of the c… ▽ More We describe the Fundamental Theorem on Symmetric Polynomials (FTSP), exposit a classical proof, and offer a novel proof that arose out of an informal course on group theory. The paper develops this proof in tandem with the pedagogical context that led to it. We also discuss the role of the FTSP both as a lemma in the original historical development of Galois theory and as an early example of the connection between symmetry and expressibility that is described by the theory. △ Less

Submitted 10 October, 2020; v1 submitted 29 January, 2013; originally announced January 2013.

Comments: 16 pages, 1 figure. Added an appendix acknowledging a precedent for the "brick-stacking" argument for Theorem 3

Journal ref: College mathematics journal 48(1):18-29, 2017

Borel Tukey morphisms and combinatorial cardinal invariants of the continuum

Authors: Samuel Coskey, Tamás Mátrai, Juris Steprāns

Abstract: We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion of van Douwen's diagram. For instance, although the usual proof of the inequality $\mathfrak p\leq\mathfrak b$ does not provide a Borel Tukey map, we show that i… ▽ More We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion of van Douwen's diagram. For instance, although the usual proof of the inequality $\mathfrak p\leq\mathfrak b$ does not provide a Borel Tukey map, we show that in fact there is one. Afterwards, we revisit a result of Mildenberger concerning a generalization of the unsplitting and splitting numbers. Lastly, we show that the inclusion ordering on $\mathcal P(ω)$ embeds into the Borel Tukey ordering on cardinal invariants. △ Less

Submitted 23 October, 2013; v1 submitted 8 August, 2012; originally announced August 2012.

MSC Class: 03E15; 03E17

Journal ref: Fundamenta mathematicae 223:29-48, 2013

Automorphisms of corona algebras, and group cohomology

Authors: Samuel Coskey, Ilijas Farah

Abstract: In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the compact operators.) In this paper we establish that the analogous conclusion holds for a broad family of quotient algebras. Specifically, we will show that assum… ▽ More In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the compact operators.) In this paper we establish that the analogous conclusion holds for a broad family of quotient algebras. Specifically, we will show that assuming the Continuum Hypothesis, if $A$ is a separable algebra which is either simple or stable, then the corona of $A$ has nontrivial automorphisms. We also discuss a connection with cohomology theory, namely, that our proof can be viewed as a computation of the cardinality of a particular derived inverse limit. △ Less

Submitted 27 February, 2014; v1 submitted 21 April, 2012; originally announced April 2012.

Journal ref: Transactions of the American mathematical society 366:3611-3630, 2014

The hierarchy of equivalence relations on the natural numbers under computable reducibility

Authors: Samuel Coskey, Joel David Hamkins, Russell Miller

Abstract: The notion of computable reducibility between equivalence relations on the natural numbers provides a natural computable analogue of Borel reducibility. We investigate the computable reducibility hierarchy, comparing and contrasting it with the Borel reducibility hierarchy from descriptive set theory. Meanwhile, the notion of computable reducibility appears well suited for an analysis of equivalen… ▽ More The notion of computable reducibility between equivalence relations on the natural numbers provides a natural computable analogue of Borel reducibility. We investigate the computable reducibility hierarchy, comparing and contrasting it with the Borel reducibility hierarchy from descriptive set theory. Meanwhile, the notion of computable reducibility appears well suited for an analysis of equivalence relations on the c.e.\ sets, and more specifically, on various classes of c.e.\ structures. This is a rich context with many natural examples, such as the isomorphism relation on c.e.\ graphs or on computably presented groups. Here, our exposition extends earlier work in the literature concerning the classification of computable structures. An abundance of open questions remains. △ Less

Submitted 14 April, 2012; v1 submitted 15 September, 2011; originally announced September 2011.

Comments: To appear in Computability

MSC Class: 03C57; 03D45; 03D55; 03E15

Journal ref: Computability 1(1):15-38, 2012

Cardinal characteristics and countable Borel equivalence relations

Authors: Samuel Coskey, Scott Schneider

Abstract: Boykin and Jackson recently introduced a property of countable Borel equivalence relations called Borel boundedness, which they showed is closely related to the union problem for hyperfinite equivalence relations. In this paper, we introduce a family of properties of countable Borel equivalence relations which correspond to combinatorial cardinal characteristics of the continuum in the same way th… ▽ More Boykin and Jackson recently introduced a property of countable Borel equivalence relations called Borel boundedness, which they showed is closely related to the union problem for hyperfinite equivalence relations. In this paper, we introduce a family of properties of countable Borel equivalence relations which correspond to combinatorial cardinal characteristics of the continuum in the same way that Borel boundedness corresponds to the bounding number $\mathfrak b$. We analyze some of the basic behavior of these properties, showing for instance that the property corresponding to the splitting number $\mathfrak s$ coincides with smoothness. We then settle many of the implication relationships between the properties; these relationships turn out to be closely related to (but not the same as) the Borel Tukey ordering on cardinal characteristics. △ Less

Submitted 21 June, 2016; v1 submitted 11 March, 2011; originally announced March 2011.

MSC Class: 03E15; 03E17

Journal ref: Mathematical logic quarterly 63(3-4):211-227, 2017

Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals

Authors: Samuel Coskey, Joel David Hamkins

Abstract: We describe the basic theory of infinite time Turing machines and some recent developments, including the infinite time degree theory, infinite time complexity theory, and infinite time computable model theory. We focus particularly on the application of infinite time Turing machines to the analysis of the hierarchy of equivalence relations on the reals, in analogy with the theory arising from Bor… ▽ More We describe the basic theory of infinite time Turing machines and some recent developments, including the infinite time degree theory, infinite time complexity theory, and infinite time computable model theory. We focus particularly on the application of infinite time Turing machines to the analysis of the hierarchy of equivalence relations on the reals, in analogy with the theory arising from Borel reducibility. We define a notion of infinite time reducibility, which lifts much of the Borel theory into the class $\bmΔ^1_2$ in a satisfying way. △ Less

Submitted 10 January, 2011; originally announced January 2011.

Comments: Submitted to the Effective Mathematics of the Uncountable Conference, 2009

MSC Class: 03D30; 03D65; 03E15

Journal ref: In: Effective mathematics of the uncountable. Lecture notes in logic 41:33-49, 2013

Infinite time decidable equivalence relation theory

Authors: Samuel Coskey, Joel David Hamkins

Abstract: We introduce an analog of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine. The Borel reductions are replaced by the more general class of infinite time computable functions. Many basic aspects of the classical theory remain intact, with the added bonus that it becomes sensible to study some special equivalenc… ▽ More We introduce an analog of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine. The Borel reductions are replaced by the more general class of infinite time computable functions. Many basic aspects of the classical theory remain intact, with the added bonus that it becomes sensible to study some special equivalence relations whose complexity is beyond Borel or even analytic. We also introduce an infinite time generalization of the countable Borel equivalence relations, a key subclass of the Borel equivalence relations, and again show that several key properties carry over to the larger class. Lastly, we collect together several results from the literature regarding Borel reducibility which apply also to absolutely Delta_1^2 reductions, and hence to the infinite time computable reductions. △ Less

Submitted 24 October, 2009; originally announced October 2009.

Comments: 30 pages, 3 figures

MSC Class: 03D30; 03D65; 03E15

Journal ref: Notre Dame journal of formal logic 52(2):203-228, 2011

Borel reductions of profinite actions of SL(n,Z)

Authors: Samuel Coskey

Abstract: Greg Hjorth and Simon Thomas proved that the classification problem for torsion-free abelian groups of finite rank \emph{strictly increases} in complexity with the rank. Subsequently, Thomas proved that the complexity of the classification problems for $p$-local torsion-free abelian groups of fixed rank $n$ are \emph{pairwise incomparable} as $p$ varies. We prove that if $3\leq m<n$ and $p,q$ are… ▽ More Greg Hjorth and Simon Thomas proved that the classification problem for torsion-free abelian groups of finite rank \emph{strictly increases} in complexity with the rank. Subsequently, Thomas proved that the complexity of the classification problems for $p$-local torsion-free abelian groups of fixed rank $n$ are \emph{pairwise incomparable} as $p$ varies. We prove that if $3\leq m<n$ and $p,q$ are distinct primes, then the complexity of the classification problem for $p$-local torsion-free abelian groups of rank $m$ is again incomparable with that for $q$-local torsion-free abelian groups of rank $n$. △ Less

Submitted 29 September, 2010; v1 submitted 3 September, 2009; originally announced September 2009.

MSC Class: 03E15; 20K15

Journal ref: Annals of pure and applied logic 161(10):1270-1279, 2010

The complexity of classification problems for models of arithmetic

Authors: Samuel Coskey, Roman Kossak

Abstract: We observe that the classification problem for countable models of arithmetic is Borel complete. On the other hand, the classification problems for finitely generated models of arithmetic and for recursively saturated models of arithmetic are Borel; we investigate the precise complexity of each of these. Finally, we show that the classification problem for pairs of recursively saturated models and… ▽ More We observe that the classification problem for countable models of arithmetic is Borel complete. On the other hand, the classification problems for finitely generated models of arithmetic and for recursively saturated models of arithmetic are Borel; we investigate the precise complexity of each of these. Finally, we show that the classification problem for pairs of recursively saturated models and for automorphisms of a fixed recursively saturated model are Borel complete. △ Less

Submitted 27 October, 2010; v1 submitted 12 August, 2009; originally announced August 2009.

Comments: 15 pages

MSC Class: 03C62; 03H15; 03E15

Journal ref: Bulletin of symbolic logic 16(3):345-358, 2010

The conjugacy problem for the automorphism group of the random graph

Authors: Samuel Coskey, Paul Ellis, Scott Schneider

Abstract: We prove that the conjugacy problem for the automorphism group of the random graph is Borel complete, and discuss the analogous problem for some other countably categorical structures. We prove that the conjugacy problem for the automorphism group of the random graph is Borel complete, and discuss the analogous problem for some other countably categorical structures. △ Less

Submitted 17 November, 2011; v1 submitted 23 February, 2009; originally announced February 2009.

Comments: 7 pages

MSC Class: 03E15; 03C15; 05C80; 08A35

Journal ref: Archive for mathematical logic 50(1-2):215-221, 2010

The classification of torsion-free abelian groups of finite rank up to isomorphism and up to quasi-isomorphism

Authors: Samuel Coskey

Abstract: The isomorphism and quasi-isomorphism relations on the $p$-local torsion-free abelian groups of rank $n\geq3$ are incomparable with respect to Borel reducibility. The isomorphism and quasi-isomorphism relations on the $p$-local torsion-free abelian groups of rank $n\geq3$ are incomparable with respect to Borel reducibility. △ Less

Submitted 6 February, 2009; originally announced February 2009.

Comments: This is a part of my doctoral thesis. 23 pages, 1 figure

MSC Class: 03E15; 20K15

Journal ref: Transactions of the American mathematical society 364:175-194, 2012