Quantifier elimination for dense linear orders shows that the one-types over are determined by cuts: equality to a natural number, one of the intervals between consecutive natural numbers, the ray below zero, or the cut above every natural number. Only the last type is non-isolated.
Articles by others on the same topic
There are currently no matching articles.