Premium
Extending Partial Orders on o‐Minimal Structures to Definable Total Orders
Author(s) -
Macpherson Dugald,
Steinhorn Charles
Publication year - 1997
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19970430403
Subject(s) - mathematics , order (exchange) , extension (predicate logic) , combinatorics , computer science , finance , economics , programming language
It is shown that if ( M , <, ⃛) is an o‐minimal structure such that ( M , <) is a dense total order and ≾ is a parameter‐definable partial order on M , then ≾ has an extension to a definable total order.