✦ LIBER ✦

On the independence property of first order theories and indiscernible sequences

✍ Scribed by K. Zh. Kudaĭbergenov

Book ID: 115064881
Publisher: Allerton Press, Inc.
Year: 2011
Tongue: English
Weight: 549 KB
Volume: 21
Category: Article
ISSN: 1055-1344
DOI: 10.3103/s1055134411040067

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Independence, order, and the interaction

Independence, order, and the interaction of ultrafilters and theories

✍ M.E. Malliaris 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 318 KB

On translations of complete first order

On translations of complete first order theories

✍ Seyed Mohammad Bagheri 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB

## Abstract In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

Comparing the first- and second-order th

Comparing the first- and second-order theories of

✍ Etele Molnár 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 787 KB

On the axiomatizability of some first-or

On the axiomatizability of some first-order spatio-temporal theories

✍ Vályi, Sándor 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

Two remarks on the first-order theories

Two remarks on the first-order theories of Baumslag-Solitar groups

✍ M. Casals-Ruiz, I. V. Kazachkov 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 133 KB

On arithmetical first-order theories all

On arithmetical first-order theories allowing encoding and decoding of lists

✍ Patrick Cegielski; Denis Richard 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 1023 KB