J. Baldwin

activity

19952026

collaborators

5 papers

math.LO2026

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$ -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 $ω$ -rule in $1$ or $2$ sorts. These logics are categorica…

math.LO2026

Categoricity and non-arithmetic Fuchsian groups

John Baldwin, Joel Nagloo

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

math.LO2026

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

John T. Baldwin, Constantin C. Brîncuş

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

math.LO2024

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.LO1995

Transferring saturation, the finite cover property, and stability

J. Baldwin, R. Grossberg, Saharon Shelah

Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the…

Carnapian Frameworks and Categoricity of Arithmetic via Inferential ω-logics

Categoricity and non-arithmetic Fuchsian groups

Categoricity for an inferential ω-logic and in Lω1​,ω​

Simple Homogeneous Structures and Indiscernible Sequence Invariants

Transferring saturation, the finite cover property, and stability

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$ -logics

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