O-minimal structures (Pillay-Steinhorn)

Layer 0 — Mathematicsin the model-theory subtree

Pillay-Steinhorn 1988: ordered structures where every definable set is finite union of points + intervals; tame topology of definable sets; real-closed-field is o-minimal.

Related concepts

Explore O-minimal structures (Pillay-Steinhorn) on the interactive knowledge graph →