More on monadic logic. C: Monadically interpreting in stable unsuperstable T and the monadic theory of ^
From MaRDI portal
DOI10.1007/BF02801469zbMATH Open0704.03016OpenAlexW2086841212MaRDI QIDQ916645FDOQ916645
Publication date: 1990
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02801469
Recommendations
Cites Work
- Classification theory and the number of non-isomorphic models
- There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed
- The monadic theory of order
- Second-order quantifiers and the complexity of theories
- The decision problem for branching time logic
- Monadic logic and Löwenheim numbers
- The monadic theory of ω2
- Interpreting second-order logic in the monadic theory of order
- Monadic theory of order and topology in ZFC
- Modest theory of short chains. II
- The monadic theory and the next world
- On the strength of the interpretation method
- Notes on monadic logic. Part B: Complexity of linear orders in ZFC
- Notes on monadic logic. A: Monadic theory of the real line
- More on monadic logic. Part D: A note on addition of theories
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q916645)
