✦ LIBER ✦

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

✍ Scribed by A. P. Bel'tyukov

Publisher: Springer US
Year: 1980
Tongue: English
Weight: 518 KB
Volume: 14
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01693974

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

The tails of infinitely divisible laws a

The tails of infinitely divisible laws and a problem in number theory

✍ P.D.T.A. Elliott; P. Erdös 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 418 KB

Solvability of the theory of integers wi

Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number

✍ Yu. G. Penzin 📂 Article 📅 1973 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 337 KB

Self-consistent mode coupling theory of

Self-consistent mode coupling theory of turbulence and the universal Prandtl number

✍ Malay K. Nandy; Jayanta K. Bhattacharjee 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 384 KB

Contribution to the theory of semisets V

Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers)

✍ Antonin Sochor 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 299 KB 👁 1 views

Z e a c h r . i. d. L & k und Qrundlagen d . A ¶&. Hd. P I , S. 439-412 (1975) CONTRIBUTION TO THE THEORY OF SEMISETS VI (Non-existence of the class of all absolute natural numbers) by ANTONIT SOCHOR in Prague (C.S.S.R.) .4n important concept-the class of all absolute natural numbers has been intro

A Note on Universal Classes with Applica

A Note on Universal Classes with Applications to the Theory of Graphs

✍ Williams Kramer Forrest 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 831 KB