Monadic theory of order and topology. II

DOI10.1007/BF02761824MaRDI QIDQ1137035zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 1979

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

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

zbMATH Keywords

Cantor's discontinuumcontinuum hypothesismonadic second-order theory of the real linemonadic topologyshort 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)

Cites work

• Almost disjoint sets and Martin's axiom
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Lectures in set theory with particular emphasis on the method of forcing
• Model theory
• Monadic theory of order and topology, I
• The monadic theory of order

Cited in

(6)

• Monadic logic and Löwenheim numbers
• The monadic theory and the next world
• Notes on monadic logic. A: Monadic theory of the real line
• Interpreting second-order logic in the monadic theory of order
• The structure of the models of decidable monadic theories of graphs
• Trees, grids, and MSO decidability: from graphs to matroids

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

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