Monadic theory of order and topology, I

DOI10.1007/BF02756489zbMath0359.02061MaRDI QIDQ1238809

Yuri Gurevich

Publication date: 1977

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Model theory (03C99) Total orders (06A05) Ordered topological structures (06F30) Nonstandard topology (54J05)

Related Items

Trees, grids, and MSO decidability: from graphs to matroids ⋮ Monadic theory of order and topology. II ⋮ Notes on monadic logic. Part B: Complexity of linear orders in ZFC ⋮ Strongly dependent theories ⋮ Expressing cardinality quantifiers in monadic second-order logic over chains ⋮ Monadic theory of order and topology, I ⋮ Modest theory of short chains. I ⋮ Modest theory of short chains. II ⋮ The metamathematics of model theory: Discovering language in action ⋮ The monadic theory and the next world ⋮ The structure of the models of decidable monadic theories of graphs

Cites Work

• The monadic theory of order
• Monadic theory of order and topology, I
• Lectures in set theory with particular emphasis on the method of forcing
• A partition calculus in set theory
• Modest theory of short chains. II
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Internal cohen extensions
• Undecidability of Some Topological Theories
• Unnamed Item
• Unnamed Item