The following pages link to (Q4664636):
Displaying 11 items.
- \(\Sigma \)-definability of uncountable models of \(c\)-simple theories (Q606059) (← links)
- Interval extensions of orders and temporal approximation spaces (Q820474) (← links)
- Numberings and definability in the hereditarily finite superstructure of a model (Q1307172) (← links)
- Definability in hereditarily finite manifolds (Q1363950) (← links)
- Countably categorical theories (Q1928482) (← links)
- \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\) (Q2300935) (← links)
- Definability of Boolean algebras in \({\mathbb {HF}}\)-superstructures (Q2714038) (← links)
- Cardinalities of definable sets in superstructures over models (Q2880489) (← links)
- A note on hereditarily Π10- and Σ10-complete sets of sentences (Q2957964) (← links)
- (Q4677695) (← links)
- (Q4936678) (← links)
