✦ LIBER ✦

Nonessential extensions of complete theories

✍ Scribed by B. Omarov

Publisher: Springer US
Year: 1983
Tongue: English
Weight: 555 KB
Volume: 22
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01982116

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

OnLα,ωcomplete extensions of complete th

OnLα,ωcomplete extensions of complete theories of Boolean algebras

✍ Matatyahu Rubin 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 193 KB

Fregean Extensions of First-Order Theori

Fregean Extensions of First-Order Theories

✍ John L. Bell 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB

## Abstract It is shown by Parsons [2] that the first‐order fragment of Frege's (inconsistent) logical system in the __Grundgesetze der Arithmetic__ is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first‐order theories. We also show that a natural a

Complete extensions of topological space

Complete extensions of topological spaces

✍ A. I. Krivoruchko 📂 Article 📅 1974 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 221 KB

Model complete theories of trees

✍ G. E. Puninskii 📂 Article 📅 1991 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 510 KB

Inessential parts of extensions of first

Inessential parts of extensions of first-order theories

✍ Marian Przełęcki; Ryszard Wójcicki 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 672 KB

Constructive models of complete solvable

Constructive models of complete solvable theories

✍ S. S. Goncharov; A. T. Nurtazin 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 682 KB