๐”– Bobbio Scriptorium
โœฆ   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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Fregean Extensions of First-Order Theori
โœ 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
โœ 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