3 papers
math.LO2022
Model-completeness for a dense linear order in weak monadic second order logic
Deacon Linkhorn
We present a streamlined and (hopefully) accessible proof of the model-completeness of the weak monadic second order version of a dense linear order with left-endpoint but no right…
math.LO2022
The pseudofinite monadic second order theory of words
Deacon Linkhorn
We analyse the pseudofinite monadic second order theory of words over a fixed finite alphabet. In particular we present an axiomatisation of this theory, working in a one-sorted fi…
math.LO2021
The Pseudofinite Monadic Second Order Theory of Linear Order
Deacon Linkhorn
Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear order…