Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
We characterize the fixed sets of automorphisms of an arbitrary countable, arithmetically saturated structure.
math.LO↗
arXiv subjects
James Schmerl
Publications and source records attributed to James Schmerl.
Uncountable Real Closed Fields with PA Integer Parts
D'Aquino, Knight and Starchenko classified the countable real closed fields with integer parts that are nonstandard models of Peano Arithmetic. We rule out some possibilities for extending their results to the uncountable and study real closures of $ω_1$-like models of PA.
math.LO↗