J. Baldwin

collaborators

4 papers

math.LO2026

Simple Homogeneous Structures and Indiscernible Sequence Invariants

John Baldwin, James Freitag, Scott Mutchnik

We introduce some properties describing dependence in indiscernible sequences: $F_{in d}$ and its dual $F_{M b}$ , the definable Morley property, and $n$ -resolvability. Applying these…

math.LO2026

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $I ¨ $ -logics

John T. Baldwin, Constantin C. BrÃ®ncuÅ

We provided in \cite{BaldwinBrincusI} extensions of first order logic by modified inferential definitions of the classical $I ¨ $ -rule in $1$ or $2$ sorts. These logics are categoric…

math.LO2026

Categoricity for an inferential $I ¨ $ -logic and in $L_{I ¨ _{1}, I ¨ }$

John T. Baldwin, Constantin C. BrÃ®ncuÅ

This paper provides two extensions of first order logic by ` $I ¨ $ -rules'. In each case we characterize the countable structures whose theory in the logic is categorical (has a uniqu…

math.LO2026

Categoricity and non-arithmetic Fuchsian groups

John Baldwin, Joel Nagloo

Let $I^ \subset P S L_{2} (R)$ be a non-arithmetic Fuchsian group of the first kind with finite covolume, and let $j_{I^} $ be a corresponding uniformizer. In this paper we introdu…

Simple Homogeneous Structures and Indiscernible Sequence Invariants

Carnapian Frameworks and Categoricity of Arithmetic via Inferential I¨-logics

Categoricity for an inferential I¨-logic and in LI¨1​,I¨​

Categoricity and non-arithmetic Fuchsian groups

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $I ¨ $ -logics

Categoricity for an inferential $I ¨ $ -logic and in $L_{I ¨ _{1}, I ¨ }$