Showing 1–3 of 3 results for author: Lakerdas-Gayle, J

Oscillating subalgebras of the atomless countable Boolean algebra

Authors: Dana Bartošová, David Chodounský, Barbara Csima, Jan Hubička, Matěj Konečný, Joey Lakerdas-Gayle, Spencer Unger, Andy Zucker

Abstract: We show that the big Ramsey degree of the Boolean algebra with 3 atoms within the countable atomless Boolean algebra is infinite. We show that the big Ramsey degree of the Boolean algebra with 3 atoms within the countable atomless Boolean algebra is infinite. △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 9 pages

MSC Class: 05C55; 06E05; 03E02; 05D10 ACM Class: G.2.1

Isomorphism Spectra and Computably Composite Structures

Authors: Joey Lakerdas-Gayle

Abstract: Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree $\textbf{d}$ is the degree of categoricity of a computable structure $\mathcal{M}$ and is not the strong degree of categoricity of any computable structure, then $\mathcal{M}$ has a pair of computable copies whose isomorphism spectrum is not finitely generated. Motivated by this result, we introduce a class of… ▽ More Adapting a result of Bazhenov, Kalimullin, and Yamaleev, we show that if a Turing degree $\textbf{d}$ is the degree of categoricity of a computable structure $\mathcal{M}$ and is not the strong degree of categoricity of any computable structure, then $\mathcal{M}$ has a pair of computable copies whose isomorphism spectrum is not finitely generated. Motivated by this result, we introduce a class of computable structures called computably composite structures with the property that the isomorphisms between arbitrary computable copies of these structures are exactly the unions of isomorphisms between the computable copies of their components. We use this to show that any computable union of isomorphism spectra is also an isomorphism spectrum. In particular, this gives examples of isomorphism spectra that are not finitely generated. △ Less

Submitted 27 January, 2025; originally announced January 2025.

Comments: 20 pages, 4 figures

MSC Class: 03D45; 03C57; 03D28

The lexicographically least square-free word with a given prefix

Authors: Siddharth Berera, Andrés Gómez-Colunga, Joey Lakerdas-Gayle, John López, Mauditra Matin, Daniel Roebuck, Eric Rowland, Noam Scully, Juliet Whidden

Abstract: The lexicographically least square-free infinite word on the alphabet of non-negative integers with a given prefix $p$ is denoted $L(p)$. When $p$ is the empty word, this word was shown by Guay-Paquet and Shallit to be the ruler sequence. For other prefixes, the structure is significantly more complicated. In this paper, we show that $L(p)$ reflects the structure of the ruler sequence for several… ▽ More The lexicographically least square-free infinite word on the alphabet of non-negative integers with a given prefix $p$ is denoted $L(p)$. When $p$ is the empty word, this word was shown by Guay-Paquet and Shallit to be the ruler sequence. For other prefixes, the structure is significantly more complicated. In this paper, we show that $L(p)$ reflects the structure of the ruler sequence for several words $p$. We provide morphisms that generate $L(n)$ for letters $n=1$ and $n\geq3$, and $L(p)$ for most families of two-letter words $p$. △ Less

Submitted 2 November, 2022; v1 submitted 2 October, 2022; originally announced October 2022.

Journal ref: The Electronic Journal of Combinatorics 30 (2023) #P3.11 (43 pages)