{"id":"arxiv/2602.02854","url":"https://arxiv.org/abs/2602.02854","tags":["math.LO"],"score":0,"title":"Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$","domain":"math.LO","source":"arxiv","authors":["John T. Baldwin","Constantin C. Brîncuş"],"reviews":0,"subject":"math.LO","summary":"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 model). In the one-sorted inferential $ω$-logic, both Robinson's system $Q$ and Peano Arithmetic become categorical. In the two-sorted generalized $ω$-logic we show each complete $L_{ω_1,ω}$ sentence defines the same class of structures as a first-order theory with the appropriate $G-ω$-rule. The results depend on proving that the inferential rules for the logics are categorical, i.e. they uniquely determine…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-02","reactions":{}}