Pseudo-finite sets, pseudo-o-minimality

DOI10.1017/JSL.2020.58zbMATH Open1485.03136arXiv1908.01660OpenAlexW2965225503MaRDI QIDQ5159489FDOQ5159489

Authors: Nadav Meir 

Publication date: 27 October 2021

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1908.01660

Recommendations

• The non-axiomatizability of o-minimality
• Definable Sets in Ordered Structures. II
• O-minimalism
• Definable Sets in Ordered Structures. III
• Definable sets in ordered structures

zbMATH Keywords

o-minimalitylocal o-minimalitydefinable completenesspseudo-o-minimalitytype completeness

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Model theory of ordered structures; o-minimality (03C64) Model theory of denumerable and separable structures (03C15) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Relative Pfaffian closure for definably complete Baire structures
• Locally o-minimal structures and structures with locally o-minimal open core
• Expansions of dense linear orders with the intermediate value property
• An analogue of the Baire category theorem
• Cuts in cyclically ordered sets
• O-minimalism
• The non-axiomatizability of o-minimality
• Expansions of subfields of the real field by a discrete set
• Inter-Relations Among the Four Principal Types of Order
• A fundamental dichotomy for definably complete expansions of ordered fields
• Title not available (Why is that?)

Cited In (3)

• Computable axiomatizability of elementary classes
• O-minimalism
• Pseudo definably connected definable sets

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)