Second-order quantifiers and the complexity of theories
From MaRDI portal
Publication:1078169
DOI10.1305/ndjfl/1093870870zbMath0596.03033OpenAlexW2084701730MaRDI QIDQ1078169
Saharon Shelah, John T. Baldwin
Publication date: 1985
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870870
second-order logicclassification theorymonadic logiccomplexity of theoriesclassification of theoriespermutational logic
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Classification theory, stability, and related concepts in model theory (03C45) Second- and higher-order model theory (03C85)
Related Items
Simple monadic theories and partition width ⋮ Trivial pursuit: remarks on the main gap ⋮ More on monadic logic. Part D: A note on addition of theories ⋮ Notes on monadic logic. A: Monadic theory of the real line ⋮ Theories with few non-algebraic types over models, and their decompositions ⋮ Toward classifying unstable theories ⋮ ℵ0-categorical tree-decomposable structures ⋮ Monadic stability and growth rates of ω$\omega$‐categorical structures ⋮ Worst-case expansions of complete theories ⋮ Notes on monadic logic. Part B: Complexity of linear orders in ZFC ⋮ More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) ⋮ Some coinductive graphs ⋮ Regular partitions of gentle graphs ⋮ Classes of graphs with low complexity: the case of classes with bounded linear rankwidth ⋮ Peano arithmetic may not be interpretable in the monadic theory of linear orders ⋮ Triviality, NDOP and stable varieties ⋮ Characterizations of monadic NIP ⋮ Mutually algebraic structures and expansions by predicates ⋮ Locally modular theories of finite rank ⋮ A model-theoretic characterisation of clique width ⋮ Complete Coinductive Theories. I ⋮ Simple monadic theories and indiscernibles ⋮ Strict superstablity and decidability of certain generic graphs ⋮ Ranks and pregeometries in finite diagrams ⋮ Elementary equivalence of infinite-dimensional classical groups ⋮ First-order theories of abstract dependence relations
