Monadic theory of order and topology. II

DOI10.1007/BF02761824zbMath0428.03034MaRDI QIDQ1137035

Yuri Gurevich

Publication date: 1979

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

zbMATH Keywords

continuum hypothesismonadic topologyCantor's discontinuummonadic second-order theory of the real lineshort non-modest chain

Mathematics Subject Classification ID

Model theory (03C99) Continuum hypothesis and Martin's axiom (03E50) Total orders (06A05) Ordered topological structures (06F30) Nonstandard topology (54J05)

Related Items (6)

Trees, grids, and MSO decidability: from graphs to matroids ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ Interpreting second-order logic in the monadic theory of order ⋮ Monadic logic and Löwenheim numbers ⋮ 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
• Model theory
• Lectures in set theory with particular emphasis on the method of forcing
• Almost disjoint sets and Martin's axiom
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Monadic theory of order and topology. II