A note on definable Skolem functions
From MaRDI portal
Publication:3813802
DOI10.2307/2274580zbMath0663.03020MaRDI QIDQ3813802
Publication date: 1988
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274580
definable Skolem functions; real-closed fields; p-adic fields; effective procedure; model-complete first-order theory; real-closed rings; universal- existential axioms
Related Items
A representation of convex semilinear sets, A transfer theorem in constructive \(p\)-adic algebra, On the elimination of imaginaries from certain valued fields
Cites Work