Jekyll2020-01-28T04:41:36+00:00http://scoskey.org/feed.xmlSamuel CoskeyDepartment of Mathematics, Boise State University, 1910 University Dr, Boise, ID 83725-1555.
Jumps and the classification of scattered linear orders2020-02-01T00:00:00+00:002020-02-01T00:00:00+00:00http://scoskey.org/presentation/jumps-and-the-classification-of-scattered-linear-orders<p>SEALS Conference, Gainesville, February 2020<!--more--></p>
<p>Abstract: We begin by studying the classification problem for countable scattered linear orders. Letting $\cong_\alpha$ denote isomorphism of scattered orders of rank $\alpha$, we can define the “$\mathbb Z$-jump” of equivalence relations in such a way that the $\mathbb Z$-jump of $\cong_\alpha$ is $\cong_{\alpha+1}$. More generally, for any countable group $\Gamma$, we will define the $\Gamma$-jump of equivalence relations. After introducing the basic theory of these jump operators, we will discuss the question of when the $\Gamma$-jump is proper. In particular we will show the $\mathbb Z$-jump is proper, and hence the complexity of $\cong_\alpha$ increases properly with $\alpha$. This is joint work with John Clemens.</p>SEALS Conference, Gainesville, February 2020Introduction to linear algebra2020-01-01T00:00:00+00:002020-01-01T00:00:00+00:00http://scoskey.org/course/1920s-301<p>Math 301, Spring 2020<!--more--></p>
<p><em>Catalog description</em>: Linear algebra from a matrix perspective with applications from the applied sciences. Topics include the algebra of matrices, methods for solving linear systems of equations, eigenvalues and eigenvectors, matrix decompositions, vector spaces, linear transformations, least squares, and numerical techniques.</p>Math 301, Spring 2020Foundations of analysis2020-01-01T00:00:00+00:002020-01-01T00:00:00+00:00http://scoskey.org/course/1920s-314<p>Math 314, Spring 2020<!--more--></p>
<p><em>Catalog description</em>: The real number system, completeness and compactness, sequences, continuity, foundations of the calculus.</p>Math 314, Spring 2020Locally finite groups and automorphisms2019-12-10T00:00:00+00:002019-12-10T00:00:00+00:00http://scoskey.org/presentation/locally-finite-groups-and-automorphisms<p>Boise Set Theory and Logic Seminar, December 2019<!--more--></p>
<p>Abstract: The class of finite groups is an amalgamation class, which means that they admit a “Fraisse limit” - a countable structure which contains all the finite groups and which is highly self-symmetric. The limit group is called Hall’s group, it is locally finite, and has the property that any isomorphic finite subgroups are conjugate. In this talk we will give background on Hall’s group and discuss constructing automorphisms of Hall’s group.</p>Boise Set Theory and Logic Seminar, December 2019On conjugacy problems for graphs and trees2019-10-11T00:00:00+00:002019-10-11T00:00:00+00:00http://scoskey.org/presentation/on-conjugacy-problems-for-graphs-and-trees<p>Boise Set Theory and Logic Seminar, October 2019<!--more--></p>
<p>Abstract: Given a graph or tree G, the conjugacy problem for G is the conjugacy equivalence relation on the group Aut(G) of automorphisms of G. In this talk we will introduce the basic framework for studying the complexity of the conjugacy problem for G, and then use it to examine a series of examples of graphs and trees G. In particular we will demonstrate that a variety of complexities can occur, from trivial (smooth), up to maximally complex (Borel complete), and in between.</p>Boise Set Theory and Logic Seminar, October 2019Jumps of equivalence relations and scattered linear orders2019-09-09T00:00:00+00:002019-09-09T00:00:00+00:00http://scoskey.org/presentation/jumps-of-equivalence-relations-and-scattered-linear-orders<p>CUNY set theory seminar, New York, September 2019<!--more--></p>
<p>Abstract: This is joint work with John Clemens. We will begin this talk by discussing the problem of classifying the countable scattered linear orders. Here a linear order is called scattered if the rational order doesn’t embed into it. The class of such orders admits a ranking function valued in the ordinals; we will study the corresponding classification problem for each fixed rank. We will show that each increase in rank results in a “jump” in the complexity of the classification problem. In the second part of the talk we will define a family of jump operators on equivalence relations, each associated with a fixed countable group. The jump in the case of scattered linear orders is that associated with the group Z of integers. We will discuss the basic theory of these jump operators. Finally, we will discuss the question of when such a jump operator is proper, in the sense that the jump of E is strictly above E in the Borel reducibility order.</p>CUNY set theory seminar, New York, September 2019Computable reducibility of equivalence relations2019-05-15T00:00:00+00:002019-05-15T00:00:00+00:00http://scoskey.org/masters-thesis/computable-reducibility-of-equivalence-relations<p>A master’s thesis by Gianni Krakoff, Spring 2019<!--more--></p>
<p><em>Abstract</em>: Computable reducibility of equivalence relations is a tool to compare the complexity of equivalence relations on natural numbers. Its use is important to those doing Borel equivalence relation theory, computability theory, and computable structure theory. In this thesis, we compare many naturally occurring equivalence relations with respect to computable reducibility. We will then define a jump operator on equivalence relations and study proprieties of this operation and its iteration. We will then apply this new jump operation by studying its effect on the isomorphism relations of well-founded computable trees.</p>A master’s thesis by Gianni Krakoff, Spring 2019Fractals, what are they?2019-05-01T00:00:00+00:002019-05-01T00:00:00+00:00http://scoskey.org/senior-thesis/fractals-what-are-they<p>A senior thesis by Nicole Reese, Spring 2019<!--more--></p>
<p><em>Abstract</em>: This presentation explores the concept of a fractal, the Hausdorff dimension of a fractal, and fractals generated by iterated function systems.</p>A senior thesis by Nicole Reese, Spring 2019The hyperreals; do you prefer non-standard analysis over standard analysis?2019-05-01T00:00:00+00:002019-05-01T00:00:00+00:00http://scoskey.org/senior-thesis/hyperreal-numbers<p>A senior thesis by Chloe Munroe, Spring 2019<!--more--></p>
<table>
<tbody>
<tr>
<td><em>Abstract</em>: The hyperreal number system $\ast\mathbb R$ forms an ordered field that contains $\mathbb R$ as a subfield as well as infinitely large and small numbers. A number is defined to be infinitely large if $</td>
<td>x</td>
<td>>n$ for all $n = 1, 2, 3, \ldots$ and infinitely small if $</td>
<td>x</td>
<td><1/n$ for all $n = 1, 2, 3\ldots$ This number system is built out of the real number system analogous to Cantor’s construcion of $\mathbb R$ out of $\mathbb Q$. The new entities in $\ast\mathbb R$ and the relationship between the reals and hyperreals provides an appealing alternate approach to real (standard) analysis referred to as nonstandard analysis. This approach is based around that principle that if a property holds for all real numbers then it holds for all hypereal numbers, known as the transfer principle. By only using the fact that $\ast\mathbb R$ is an ordered field that has $\mathbb R$ as a subfield, includes unlimited numbers and satisfies the transfer principle the topics of analysis can be explored.</td>
</tr>
</tbody>
</table>A senior thesis by Chloe Munroe, Spring 2019The nametag problem2019-05-01T00:00:00+00:002019-05-01T00:00:00+00:00http://scoskey.org/senior-thesis/the-nametag-problem<p>A senior thesis by Christian Carley, Spring 2019<!--more--></p>
<p><em>Abstract</em>: This paper explores what has been termed, ``The Name Tag Problem’’ (NTP). The problem is framed thusly. A group of $n$ people sit around a table and to each person a name tag has been assigned. How can you assign the nametags so that just one person has the correct name tag assigned, and no matter how many times the table is rotated, still just one person has the correct name tag assigned?</p>A senior thesis by Christian Carley, Spring 2019