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.
Page 1
Displaying 1 – 7 of 7
A graphical representation of relational formulae with complementation
Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo (2012)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
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∗
Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo (2012)
RAIRO - Theoretical Informatics and Applications
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
H. Mildenberg (1993)
Fundamenta Mathematicae
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
Silvia Barbina, Domenico Zambella (2010)
Commentationes Mathematicae Universitatis Carolinae
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
Annette Paugam (1985)
Publications mathématiques et informatique de Rennes
Analytic cell decomposition and analytic motivic integration
Raf Cluckers, Leonard Lipshitz, Zachary Robinson (2006)
Annales scientifiques de l'École Normale Supérieure
Currently displaying 1 – 7 of 7
Page 1