✦ LIBER ✦

Completeness in arithmetical algebras

✍ Scribed by A. F. Pixley

Book ID: 112948195
Publisher: Springer
Year: 1972
Tongue: English
Weight: 825 KB
Volume: 2
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf02945027

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arithmetical completeness versus relativ

Arithmetical completeness versus relative completeness

✍ Michal Grabowski 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 451 KB

In this paper we study the status of the arithmetical completeness of dynamic logic. We prove that for finitistic proof systems for dynamic logic results beyond arithmetical completeness are very unlikely. The role of the set of natural numbers is carefully analyzed.

Completeness in the arithmetical hierarc

Completeness in the arithmetical hierarchy and fixed points

✍ M. M. Arslanov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 687 KB

On strictly arithmetical completeness in

On strictly arithmetical completeness in logics of programs

✍ Andrzej Szalas 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 892 KB

Uniform arithmetical completeness of mod

Uniform arithmetical completeness of modal provability logics

✍ S. N. Artemov 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 420 KB

Order Completeness in Lipschitz Algebras

✍ N. Weaver 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 530 KB

The algebraic properties of Lipschitz spaces have received much attention. This has led to a good understanding of such things as complex homomorphisms and ideals (but not subalgebras) when the underlying metric space is compact. Taking a cue from the recent observation that Lipschitz spaces are ord

Algebraic Arithmetic

✍ B., W. E. H. 📂 Article 📅 1928 🏛 Nature Publishing Group 🌐 English ⚖ 123 KB