Simple monadic theories and indiscernibles
From MaRDI portal
Publication:3077403
DOI10.1002/malq.200910121zbMath1220.03022OpenAlexW2012925105MaRDI QIDQ3077403
Publication date: 22 February 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200910121
Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Second- and higher-order model theory (03C85)
Related Items
Cites Work
- Unnamed Item
- The structure of the models of decidable monadic theories of graphs
- Vertex-minors, monadic second-order logic, and a conjecture by Seese
- Second-order quantifiers and the complexity of theories
- Classification theory and the number of non-isomorphic models.
- Classification theory and the number of non-isomorphic models
- A model-theoretic characterisation of clique width
- Dependent first order theories, continued
- On dp-minimality, strong dependence and weight