✦ LIBER ✦

Succinct definitions in the first order theory of graphs

✍ Scribed by Oleg Pikhurko; Joel Spencer; Oleg Verbitsky

Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 471 KB
Volume: 139
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.04.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Infinite spectra in the first order theo

Infinite spectra in the first order theory of graphs

✍ J. Spencer 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 English ⚖ 319 KB

General formulation of the first-order p

General formulation of the first-order perturbation graph theory

✍ Ivan Gutman 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 286 KB

The quantifier complexity of polynomial-

The quantifier complexity of polynomial-size iterated definitions in first-order logic

✍ Samuel R. Buss; Alan S. Johnson 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 208 KB

## Abstract We refine the constructions of Ferrante‐Rackoff and Solovay on iterated definitions in first‐order logic and their expressibility with polynomial size formulas. These constructions introduce additional quantifiers; however, we show that these extra quantifiers range over only finite set

THE FIRST-ORDER THEORY OF THE c-DEGREES

✍ Paddy Farrinoton 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 483 KB

Definability of classes of graphs in the

Definability of classes of graphs in the first order predicate calculus with identity

✍ L. Koncewicz 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 17 KB

Theory of Switching in Bulk First-Order

Theory of Switching in Bulk First-Order Ferroelectric Materials

✍ Eng-Kiang Tan; J. Osman; D.R. Tilley 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

A detailed account of switching and related properties of bulk first-order ferroelectric materials is given. The ferroelectric is described by the Landau-Devonshire free energy and all the results are given in terms of dimensionless variables so that they are generally applicable. In the first part