Interpreting the weak monadic second order theory of the ordered rationals

DOI10.1002/malq.202100047zbMath1521.03063arXiv2108.09790MaRDI QIDQ6094134

John K. Truss

Publication date: 12 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.09790

Mathematics Subject Classification ID

Total orders (06A05) Model theory of denumerable and separable structures (03C15) Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Unnamed Item
• The monadic theory of order
• Interpreting the action of the endomorphism monoid of the rationals

This page was built for publication: Interpreting the weak monadic second order theory of the ordered rationals