J. Baldwin

collaborators

3 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…

Carnapian Frameworks and Categoricity of Arithmetic via Inferential ω-logics

Categoricity and non-arithmetic Fuchsian groups

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

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

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