✦ LIBER ✦

Extended universal theories of the integers

✍ Scribed by V. I. Mart'yanov

Publisher: Springer US
Year: 1977
Tongue: English
Weight: 802 KB
Volume: 16
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01669479

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Universal theories of integers and the e

Universal theories of integers and the extended bliznetsov hypothesis

✍ É. B. Belyakov; V. I. Mart'yanov 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 597 KB

Decidability of extended theories of add

Decidability of extended theories of addition of the natural numbers and the integers

✍ A. A. Ivanov 📂 Article 📅 1985 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 236 KB

Homogeneous Universal Models of Universa

Homogeneous Universal Models of Universal Theories

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

Saturated models of universal theories

✍ Jeremy Avigad 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 159 KB

A notion called Herbrand saturation is shown to provide the model-theoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a

The universal audience and predictive th

The universal audience and predictive theories of law

✍ George C. Christie 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 407 KB

Direct constructions of universal extend

Direct constructions of universal extended H systems

✍ Pierluigi Frisco 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 231 KB

A direct universal extended H system receives as input the coding of an extended H system with a particular control mechanism and simulates it. We present a direct construction for ÿve kinds of control for the extended H systems under consideration. It is the ÿrst time that a direct construction is