Extending Partial Orders on o-Minimal Structures to Definable Total Orders

✍ Scribed by Dugald Macpherson; Charles Steinhorn

• Publisher: John Wiley and Sons
• Year: 1997
• Tongue: English
• Weight: 533 KB
• Volume: 43
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19970430403

✦ Synopsis

Abstract

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.