The following pages link to (Q4362314):
Displaying 6 items.
- Approximations of theories (Q779114) (← links)
- The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one (Q779152) (← links)
- The property of being a model complete theory is preserved by Cartesian extensions (Q2212696) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- Pseudofinite formulae (Q2700059) (← links)
- Essential hereditary undecidability (Q6565566) (← links)
