The following pages link to (Q4874814):
Displaying 5 items.
- A note on countable models of 1-based theories (Q1407567) (← links)
- Finding \(2^{\aleph_0}\) countable models for ordered theories (Q1669769) (← links)
- On expandability of models of arithmetic and set theory to models of weak second-order theories (Q3344187) (← links)
- On the number of models of uncountable theories (Q4323043) (← links)
- First-order and counting theories of<i>ω</i>-automatic structures (Q5387304) (← links)