Pages that link to "Item:Q1078169"
From MaRDI portal
The following pages link to Second-order quantifiers and the complexity of theories (Q1078169):
Displaying 28 items.
- Locally modular theories of finite rank (Q581394) (← links)
- Triviality, NDOP and stable varieties (Q688801) (← links)
- Notes on monadic logic. Part B: Complexity of linear orders in ZFC (Q912091) (← links)
- More on monadic logic. C: Monadically interpreting in stable unsuperstable \(\mathcal T\) and the monadic theory of \(^{\omega}\lambda\) (Q916645) (← links)
- Some coinductive graphs (Q917541) (← links)
- First-order theories of abstract dependence relations (Q1073012) (← links)
- Trivial pursuit: remarks on the main gap (Q1095890) (← links)
- Notes on monadic logic. A: Monadic theory of the real line (Q1115431) (← links)
- Ranks and pregeometries in finite diagrams (Q1591202) (← links)
- Elementary equivalence of infinite-dimensional classical groups (Q1591375) (← links)
- Toward classifying unstable theories (Q1923564) (← links)
- Regular partitions of gentle graphs (Q2216929) (← links)
- Classes of graphs with low complexity: the case of classes with bounded linear rankwidth (Q2225428) (← links)
- Strict superstablity and decidability of certain generic graphs (Q2332364) (← links)
- A model-theoretic characterisation of clique width (Q2503407) (← links)
- More on monadic logic. Part D: A note on addition of theories (Q2639848) (← links)
- Simple monadic theories and indiscernibles (Q3077403) (← links)
- Simple monadic theories and partition width (Q3170562) (← links)
- Complete Coinductive Theories. I (Q3486554) (← links)
- ℵ<sub>0</sub>-categorical tree-decomposable structures (Q4032634) (← links)
- Peano arithmetic may not be interpretable in the monadic theory of linear orders (Q4372909) (← links)
- Mutually algebraic structures and expansions by predicates (Q4916552) (← links)
- Theories with few non-algebraic types over models, and their decompositions (Q5086946) (← links)
- Characterizations of monadic NIP (Q5165493) (← links)
- Monadic stability and growth rates of ω$\omega$‐categorical structures (Q6134578) (← links)
- Worst-case expansions of complete theories (Q6156871) (← links)
- Stable graphs of bounded twin-width (Q6649471) (← links)
- Model checking on interpretations of classes of bounded local cliquewidth (Q6649489) (← links)
