Monadic theory of order and topology, I

DOI10.1007/BF02756489MaRDI QIDQ1238809zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 1977

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

Full work available at URL https://doi.org/10.1007/BF02756489

Mathematics Subject Classification ID

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

Cites work

• A partition calculus in set theory
• Decidability of Second-Order Theories and Automata on Infinite Trees
• scientific article; zbMATH DE number 3255437 (Why is no real title available?)
• scientific article; zbMATH DE number 3303763 (Why is no real title available?)
• Internal cohen extensions
• Lectures in set theory with particular emphasis on the method of forcing
• Modest theory of short chains. II
• Monadic theory of order and topology, I
• The monadic theory of order
• Undecidability of Some Topological Theories

Cited in

(11)

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

This page was built for publication: Monadic theory of order and topology, I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1238809)