o-minimal theory: Mathematical Logic, Model Theory, Total Order, Interval, Quantifier Elimination, Strongly Minimal Theory, Semialgebraic Set, Weakly o-minimal Structure - Softcover

Softcover

ISBN 10: 6130336470 ISBN 13: 9786130336479

Verlag: Betascript Publishers, 2026

Inhaltsangabe

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o-minimal structure if and only if every definable subset X ¿ M (with parameters taken from M) is a finite union of intervals and points. O-minimality can be regarded as a weak form of quantifier elimination. A structure M is o-minimal if and only if every formula with one free variable and parameters in M is equivalent to a quantifier-free formula involving only the ordering, also with parameters in M. This is analogous to the minimal structures, which are exactly the analogous property down to equality. A theory T is an o-minimal theory if every model of T is o-minimal. One can show that the complete theory T of an o-minimal structure is an o-minimal theory. This result is remarkable because the complete theory of a minimal structure need not be a strongly minimal theory, that is, there may be an elementarily equivalent structure which is not minimal.

Details zur Ausgabe

• Verlag: Betascript Publishers
• Erscheinungsdatum: 2026
• Sprache: Englisch
• ISBN 10: 6130336470
• ISBN 13: 9786130336479
• Einband: Tapa blanda
• Anzahl der Seiten: 76
• Herausgeber: Surhone Lambert M., Tennoe Mariam T., Henssonow Susan F.
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar