5 papers · 1 filter
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 or sorts. These logics are categorica…
Categoricity and non-arithmetic Fuchsian groups
John Baldwin, Joel Nagloo
Let be a non-arithmetic Fuchsian group of the first kind with finite covolume, and let be a corresponding uniformizer. In this paper we introduce…
Categoricity for an inferential -logic and in
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…
Simple Homogeneous Structures and Indiscernible Sequence Invariants
John Baldwin, James Freitag, Scott Mutchnik
We introduce some properties describing dependence in indiscernible sequences: and its dual , the definable Morley property, and -resolvability. Applying these…
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…