The following pages link to (Q3867812):
Displaying 4 items.
- Hanf number for Scott sentences of computable structures (Q1756497) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- \(\mathsf{WKL}_0\) and induction principles in model theory (Q2344719) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)
