Pages that link to "Item:Q3813802"

The following pages link to A note on definable Skolem functions (Q3813802):

Displayed 3 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)