Pages that link to "Item:Q3813802"
From MaRDI portal
The following pages link to A note on definable Skolem functions (Q3813802):
Displaying 4 items.
- A representation of convex semilinear sets (Q987186) (← links)
- A transfer theorem in constructive \(p\)-adic algebra (Q1194243) (← links)
- On the elimination of imaginaries from certain valued fields (Q1802185) (← links)
- On minimal flows and definable amenability in some distal NIP theories (Q6040619) (← links)