Showing 1–4 of 4 results for author: Linkhorn, D

Model-completeness for a dense linear order in weak monadic second order logic

Authors: Deacon Linkhorn

Abstract: 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-endpoint in a particular finite signature. We also show how this can be used to establish model-completeness of the lattice of finite unions of closed intervals of a dense linear order, i.e. the lattice of closed defina… ▽ More 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-endpoint in a particular finite signature. We also show how this can be used to establish model-completeness of the lattice of finite unions of closed intervals of a dense linear order, i.e. the lattice of closed definable subsets in a (densely ordered) o-minimal structure, in a particularly simple signature (comprising binary functions for union and intersection together with two constant symbols and four unary function symbols). △ Less

Submitted 14 September, 2022; originally announced September 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2207.07884

Model-completeness for the lattice of finite unions of closed intervals of a dense linear order

Authors: Deacon Linkhorn

Abstract: Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the closed definable sets in any o-minimal expansion of I. Our main result says that L(I), the expansion of the lattice by constants for the empty set and the smallest e… ▽ More Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the closed definable sets in any o-minimal expansion of I. Our main result says that L(I), the expansion of the lattice by constants for the empty set and the smallest element of I (viewed as a singleton subset) as well as four unary functions, is model-complete. The proof of the main result makes use of previous results regarding the weak monadic second order theory of I from the authors PhD thesis. △ Less

Submitted 16 July, 2022; originally announced July 2022.

The pseudofinite monadic second order theory of words

Authors: Deacon Linkhorn

Abstract: 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 first order framework. The analysis hinges on the fact that concatenation of words interacts nicely with monadic second order logic. More precisely, give a signature under which for each natural number k, equivalence of (m… ▽ More 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 first order framework. The analysis hinges on the fact that concatenation of words interacts nicely with monadic second order logic. More precisely, give a signature under which for each natural number k, equivalence of (monadic second order versions of) words with respect to formulas of quantifier depth at most k is a congruence for concatenation. We use our analysis to present an alternative proof of a theorem connecting recognisable languages and finitely generated free profinite monoids via extended Stone duality, due to Gehrke, Grigorieff, and Pin. △ Less

Submitted 11 March, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

MSC Class: 2020 Mathematics Subject Classification. Primary: 03C64; Secondary: 06E15; 06E25; 20M99; 22A30

The Pseudofinite Monadic Second Order Theory of Linear Order

Authors: Deacon Linkhorn

Abstract: 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 orders, i.e. the pseudofinite monadic second order theory of linear order, using a first order setup . We give explicit (and recursive) axioms and characterise the completions in terms of residue sequences. A connection with… ▽ More 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 orders, i.e. the pseudofinite monadic second order theory of linear order, using a first order setup . We give explicit (and recursive) axioms and characterise the completions in terms of residue sequences. A connection with profinite algebra, in particular with the free profinite monoid on one generator, is established via extended Stone duality. △ Less

Submitted 25 May, 2021; originally announced May 2021.