Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations

DOI10.1007/978-3-319-23534-9_6zbMath1465.03071OpenAlexW2295508136MaRDI QIDQ2947168

Serge Grigorieff, Christian Choffrut

Publication date: 22 September 2015

Published in: Fields of Logic and Computation II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23534-9_6

Mathematics Subject Classification ID

Total orders (06A05) Second- and higher-order model theory (03C85) Models of other mathematical theories (03C65)

Cites Work

• Unnamed Item
• Unnamed Item
• The monadic theory and the next world
• The monadic theory of \((\omega{}_ 2,<)\) may be complicated
• The monadic second order theory of all countable ordinals
• The monadic theory of order
• Logical Theory of the Monoid of Languages over a Non Tally Alphabet
• DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2
• The monadic theory of ω₂
• Interpreting second-order logic in the monadic theory of order
• Monadic theory of order and topology in ZFC
• Modest theory of short chains. II
• Logical Theory of the Additive Monoid of Subsets of Natural Integers

This page was built for publication: Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations