arXiv subjects

J K Truss

Publications and source records attributed to J K Truss.

3 recordsLinked to original sources

arXiv2022

Dedekind-finite cardinals having countable partitions

We study the possible structures which can be carried by sets which have no countable subset, but which fail to be `surjectively Dedekind finite', in two possible senses, that there is a surjection to $ω$, or alternatively, that there is no surjection to a proper superset.

math.LO↗

arXiv2021

Interpreting the weak monadic second order theory of the ordered rationals

We show that the weak monadic second order theory of the structure $({\mathbb Q}, <)$ is first order interpretable in its automorphism group.

math.LO↗

arXiv2019

The axiom of choice and model-theoretic structures

We discuss the connections between the failure of the axiom of choice in set theory, and certain model-theoretic structures with enough symmetry.

math.LO↗