✦ LIBER ✦

Decidable fragments of universal theories and existentially closed models

✍ Scribed by O. V. Belegradek

Publisher: SP MAIK Nauka/Interperiodica
Year: 1981
Tongue: English
Weight: 434 KB
Volume: 21
Category: Article
ISSN: 0037-4466
DOI: 10.1007/bf00968481

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Existential Morphisms and Existentially

Existential Morphisms and Existentially Closed Models of Logical Categories

✍ Ioana Petrescu 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 523 KB

Homogeneous Universal Models of Universa

Homogeneous Universal Models of Universal Theories

✍ Peter H. Krauss 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 767 KB

Decidability of the universal theory of

Decidability of the universal theory of natural numbers with addition and divisibility

✍ A. P. Bel'tyukov 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 518 KB

Decision procedures for elementary subla

Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability

✍ Franco Parlamento; Alberto Policriti 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 686 KB

Unified theory of antisymmetrized elasti

Unified theory of antisymmetrized elastic two-fragment scattering: K. L. Kowalski and A. Picklesimer, Department of Physics, Case Western Reverse University, Cleveland, Ohio 44106

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 75 KB

The zero temperature ground state of an infinite system of baryons interacting with each other through the exchange of scalar and vector mesons is studied by means of a variational principle appropriate to relativistic systems. A trial wavefunctional is constructed which represents the fluctuation o

The Quantum Theory of Atoms in Molecules

The Quantum Theory of Atoms in Molecules || Fragment Transferability Studied Theoretically and Experimentally with QTAIMâ Implications for Electron Density and Invariom Modeling