Article contents
A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS
Published online by Cambridge University Press: 15 May 2017
Abstract
We show there are intermediate P-minimal structures between the semialgebraic and subanalytic languages which do not have definable Skolem functions. As a consequence, by a result of Mourgues, this shows there are P-minimal structures which do not admit classical cell decomposition.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2017
References
REFERENCES
- 2
- Cited by