Essential kinds of 1-types over sets of models of weakly o-minimal theories

2025

Full text Open access: Hybrid Metadata (CSL-JSON)
DOI 10.70474/ckvn1r44
Data confidence 70 medium
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

We explore the properties of 1-types over sets in weakly o-minimal theories. We introduce and analyze six essential classes of non-algebraic 1-types (isolated, quasirational, irrational, quasisolitary, solitary, and social), highlighting the ways in which these types capture key convexity behaviors and definability conditions. Building on parallels with classical o-minimal theories, we establish lemmas and propositions that illustrate how properties extend from the o-minimal to the weakly o-minimal context. In particular, we demonstrate that one-types in these theories can often be decomposed into finitely many convex subsets or cuts, thereby preserving important one-dimensional geometric intuitions.