Pseudo-finite sets, pseudo-o-minimality
From MaRDI portal
Publication:5159489
Abstract: We give an example of two ordered structures M, N in the same language L with the same universe, the same order and admitting the same one-variable definable subsets such that M is a model of the common theory of o-minimal L-structures and N admits a definable, closed, bounded, and discrete subset and a definable injective self-mapping of that subset which is not surjective. This answers negatively two questions by Schoutens; the first being whether there is an axiomatization of the common theory of o-minimal structures in a given language by conditions on one-variable definable sets alone. The second being whether definable completeness and type completeness imply the pigeonhole principle. It also partially answers a question by Fornasiero asking whether definable completeness of an expansion of a real closed field implies the pigeonhole principle.
Recommendations
Cites work
- scientific article; zbMATH DE number 3235038 (Why is no real title available?)
- A fundamental dichotomy for definably complete expansions of ordered fields
- An analogue of the Baire category theorem
- Cuts in cyclically ordered sets
- Expansions of dense linear orders with the intermediate value property
- Expansions of subfields of the real field by a discrete set
- Inter-Relations Among the Four Principal Types of Order
- Locally o-minimal structures and structures with locally o-minimal open core
- O-minimalism
- Relative Pfaffian closure for definably complete Baire structures
- The non-axiomatizability of o-minimality
Cited in
(3)
This page was built for publication: Pseudo-finite sets, pseudo-o-minimality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5159489)
