Switch to: References

Add citations

You must login to add citations.
  1. On definable Skolem functions in weakly o-minimal nonvaluational structures.Pantelis E. Eleftheriou, Assaf Hasson & Gil Keren - 2017 - Journal of Symbolic Logic 82 (4):1482-1495.
    We prove that all known examples of weakly o-minimal nonvaluational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to definable families of cuts. Along the way we give some new examples of weakly o-minimal nonvaluational structures.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Quantifier elimination for o-minimal structures expanded by a valuational cut.Clifton F. Ealy & Jana Maříková - 2023 - Annals of Pure and Applied Logic 174 (2):103206.
    Download  
     
    Export citation  
     
    Bookmark