A failure of quantifier elimination.
We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.
A graphical representation of relational formulae with complementation
We study translations of dyadic first-order sentences into equalities between relational expressions. The proposed translation techniques (which work also in the converse direction) exploit a graphical representation of formulae in a hybrid of the two formalisms. A major enhancement relative to previous work is that we can cope with the relational complement construct and with the negation connective. Complementation is handled by adopting a Smullyan-like uniform notation to classify and decompose...
A graphical representation of relational formulae with complementation∗
We study translations of dyadic first-order sentences into equalities between relational expressions. The proposed translation techniques (which work also in the converse direction) exploit a graphical representation of formulae in a hybrid of the two formalisms. A major enhancement relative to previous work is that we can cope with the relational complement construct and with the negation connective. Complementation is handled by adopting a Smullyan-like...
A rigid Boolean algebra that admits the elimination of Q21
Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier .
A viewpoint on amalgamation classes
We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete.
Algorithmes d'élimination des quantificateurs
Analytic cell decomposition and analytic motivic integration
Binarity for -categorial weakly o-minimal theories of convexity rank 1.
Complexity bound of absolute factoring of parametric polynomials.
Dense pairs of o-minimal structures
The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of "small definable set" plays a special role in this description.
Elementary regular rings. II.
Extending Tamm's theorem
We extend a result of M. Tamm as follows:Let , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions . Then there exists such that for all , if is in a neighborhood of , then is real analytic in a neighborhood of .
Fields with analytic structure
Generalized Archimedean fields and logics with Malitz quantifiers
Le théorème de MacIntyre sur les ensembles définissables dans les corps -adiques
Oligomorphic transformation monoids and homomorphism-homogeneous structures
A structure is called homomorphism-homogeneous if every homomorphism between finitely generated substructures of the structure extends to an endomorphism of the structure (P. J. Cameron and J. Nešetřil, 2006). In this paper we introduce oligomorphic transformation monoids in full analogy to oligomorphic permutation groups and use this notion to propose a solution to a problem, posed by Cameron and Nešetřil in 2006, to characterize endomorphism monoids of homomorphism-homogeneous relational structures...
On a universal axiomatization of the real closed fields
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
On some global semianalytic sets
We give some structures without quantifier elimination but in which the closure, and hence the interior and the boundary, of a quantifier free definable set is also a quantifier free definable set.
On some noetherian rings of germs on a real closed field
Let R be a real closed field, and denote by the ring of germs, at the origin of Rⁿ, of functions in a neighborhood of 0 ∈ Rⁿ. For each n ∈ ℕ, we construct a quasianalytic subring with some natural properties. We prove that, for each n ∈ ℕ, is a noetherian ring and if R = ℝ (the field of real numbers), then , where ₙ is the ring of germs, at the origin of ℝⁿ, of real analytic functions. Finally, we prove the Real Nullstellensatz and solve Hilbert’s 17th Problem for the ring .
On the elementary theory of inductive order.