The following pages link to Ind- and pro-definable sets (Q2373696):
Displaying 10 items.
- Pseudo-exponential maps, variants, and quasiminimality (Q1643324) (← links)
- Definable elements of definable Borel sets (Q2334907) (← links)
- Pseudo definably connected definable sets (Q2813679) (← links)
- (Q3796210) (← links)
- ∑ n Definable Sets without ∑ n Induction (Q4032456) (← links)
- Pro-definability of spaces of definable types (Q4994917) (← links)
- Cohomology of algebraic varieties over non-archimedean fields (Q5044388) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- Around definable types in \(p\)-adically closed fields (Q6584956) (← links)
- Groups definable in Presburger arithmetic (Q6614042) (← links)