We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO
< prev | next >
new | recent | 1605

Change to browse by:

math
math.NT

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: An example of a $P$-minimal structure without definable Skolem functions

Authors: Pablo Cubides Kovacsics, Kien Huu Nguyen
(Submitted on 3 May 2016 (v1), last revised 20 Mar 2018 (this version, v2))
Abstract: We show there are intermediate $P$-minimal structures between the semi-algebraic and sub-analytic 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.
Comments: 9 pages, (added missing grant acknowledgement)
Subjects: Logic (math.LO); Number Theory (math.NT)
MSC classes: 12J12, 03C99, 12J25
DOI: 10.1017/jsl.2016.58
Cite as: arXiv:1605.00945 [math.LO]
  (or arXiv:1605.00945v2 [math.LO] for this version)

Submission history

From: Pablo Cubides Kovacsics [view email]
[v1] Tue, 3 May 2016 15:25:18 GMT (12kb)
[v2] Tue, 20 Mar 2018 22:06:34 GMT (13kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.