✦ LIBER ✦

On complete theories with a finite number of denumerable models

✍ Scribed by M. G. Peretyat'kin

Publisher: Springer US
Year: 1973
Tongue: English
Weight: 961 KB
Volume: 12
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf02218589

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The number of the models of complete hor

The number of the models of complete horn theories of finite depth

✍ S. S. Starchenko 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 658 KB

Number of constructive homogeneous model

Number of constructive homogeneous models of a complete decidable theory

✍ K. Zh. Kudaibergenov 📂 Article 📅 1983 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 501 KB

Model-Completions of Theories of Finitel

Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered Field

✍ Sauro Tulipani 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 514 KB

## MODEL-COMPLETIONS OF THEORIES OF FINITELY ADDITIVE MEASURES WITH VALUES I N AN ORDERED FIELD by Sauno TULIPANI in Firenze (1taly)l)

Study of some rheological models with a

Study of some rheological models with a finite number of degrees of freedom

✍ Jérôme Bastien; Michelle Schatzman; Claude-Henri Lamarque 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 422 KB

Protocol insecurity with a finite number

Protocol insecurity with a finite number of sessions and composed keys is NP-complete

✍ Michaël Rusinowitch; Mathieu Turuani 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 341 KB

We investigate the complexity of the protocol insecurity problem for a ÿnite number of sessions (ÿxed number of interleaved runs). We show that this problem is NP-complete with respect to a Dolev-Yao model of intruders. The result does not assume a limit on the size of messages and supports non-atom

Expanded elementary and universal theori

Expanded elementary and universal theories of lattice-ordered abelian groups with a finite number of fibers

✍ A. I. Kokorin; G. T. Kozlov 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 415 KB