Pages that link to "Type (model theory)"
Jump to navigation
Jump to search
The following pages link to Type (model theory):
Displaying 13 items.
- First-order logic (← links)
- Data type (← links)
- List of unsolved problems in mathematics (← links)
- Saturated model (← links)
- Prime model (← links)
- Vaught conjecture (← links)
- Stable theory (← links)
- True arithmetic (← links)
- Omega-categorical theory (← links)
- Abstract elementary class (← links)
- U-rank (← links)
- Tame abstract elementary class (← links)
- Half graph (← links)