David Gonzalez

activity

20242026

collaborators

3 papers

math.CO2026

Enumerative Combinatorics of Homogeneous Linear Orderings

David Gonzalez

We count the number of countable homogeneous colored linear orderings in $k$ colors. Relatedly, we count the number of countable $C_{n, m}$ -homogeneous linear orderings. $C_{n, m}$ -h…

math.LO2025

Optimal Syntactic Definitions of Back-and-Forth Types

Ruiyuan Chen, David Gonzalez, Matthew Harrison-Trainor

The back-and-forth relations $M \leq_{α} N$ are central to computable structure theory and countable model theory. It is well-known that the relation ${(M, N) : M \leq_{α} N}$ is (lightf…

math.LO2024

Scott Spectral Gaps are Bounded for Linear Orderings

David Gonzalez, Matthew Harrison-Trainor

We demonstrate that any $Π_{α}$ sentence of the infinitary logic $L_{ω_{1} ω}$ extending the theory of linear orderings has a model with a $Π_{α + 4}$ Scott sentence and hence of Scott r…