Unstable structures definable in o-minimal theories
| dc.contributor.author | Assaf Hasson | |
| dc.contributor.author | Alf Onshuus | |
| dc.coverage.spatial | Bolivia | |
| dc.date.accessioned | 2026-03-22T20:44:18Z | |
| dc.date.available | 2026-03-22T20:44:18Z | |
| dc.date.issued | 2007 | |
| dc.description | Citaciones: 1 | |
| dc.description.abstract | Let M be an o-minimal structure with elimination of imaginaries, N an unstable structure definable in M. Then there exists X, interpretable in N, such that X with all the structure induced from N is o-minimal. In particular X is linearly ordered. As part of the proof we show: Theorem 1: If the M-dimenson of N is 1 then any 1-N-type is either strongly stable or finite by o-minimal. Theorem 2: If N is N-minimal then it is 1-M-dimensional. | |
| dc.identifier.doi | 10.48550/arxiv.0704.3844 | |
| dc.identifier.uri | https://doi.org/10.48550/arxiv.0704.3844 | |
| dc.identifier.uri | https://andeanlibrary.org/handle/123456789/83781 | |
| dc.language.iso | en | |
| dc.publisher | Cornell University | |
| dc.relation.ispartof | arXiv (Cornell University) | |
| dc.source | Ben-Gurion University of the Negev | |
| dc.subject | Mathematics | |
| dc.subject | Type (biology) | |
| dc.subject | Structured program theorem | |
| dc.subject | Minimal surface | |
| dc.subject | Minimal model | |
| dc.subject | Combinatorics | |
| dc.subject | Minimal models | |
| dc.subject | Pure mathematics | |
| dc.subject | Discrete mathematics | |
| dc.title | Unstable structures definable in o-minimal theories | |
| dc.type | preprint |