✦ LIBER ✦

Quantifying over Quantifiers: (Abstract)

✍ Scribed by Lauri Hella

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 73 KB
Volume: 84
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80839-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantifying over the reals

✍ Philip Hugly; Charles Sayward 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 743 KB

Modulo-counting quantifiers over finite

Modulo-counting quantifiers over finite trees

✍ Andreas Potthoff 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 976 KB

Note on Quantifier Prefixes Over Diophan

Note on Quantifier Prefixes Over Diophantine Equations

✍ Charles N. Delzell 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

Classification of Quantifier Prefixes Ov

Classification of Quantifier Prefixes Over Diophantine Equations

✍ James P. Jones 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 469 KB

Quantifier-free and one-quantifier syste

Quantifier-free and one-quantifier systems

✍ G. E. Mints 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 808 KB

Simplification of Quantifier-free Formul

Simplification of Quantifier-free Formulae over Ordered Fields

✍ ANDREAS DOLZMANN; THOMAS STURM 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 468 KB

Given a quantifier-free first-order formula over the theory of ordered fields, our aim is to find an equivalent first-order formula that is simpler. The notion of a formula being simpler will be specified. An overview is given over various methods combining elements of field theory, order theory, an