✦ LIBER ✦

First-order spectra with one binary predicate

✍ Scribed by Arnaud Durand; Solomampionona Ranaivoson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Zero-one law for an extension of first-o

✍ V. V. Knyazev 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 375 KB

Reduction of the decision problem of the

✍ J. Surányi 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 399 KB

Computability on linear orderings enrich

✍ P. E. Alaev; J. Thurber; A. N. Frolov 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 214 KB

Definability of classes of graphs in the

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

One-dimensional chiral models with first

✍ V. F. Müller 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 514 KB

A didactical approach to the zero-one de

✍ L. Borkowski 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 24 KB