๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A generalization of the Second Incompleteness Theorem and some exceptions to it

โœ Scribed by Dan E. Willard


Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
549 KB
Volume
141
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A generalization of the Keisler-Morley t
โœ Shahram Mohsenipour ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 138 KB

## Abstract We prove a model theoretic generalization of an extension of the Keislerโ€Morley theorem for countable recursively saturated models of theories having a __ฮบ__ โ€like model, where __ฮบ__ is an inaccessible cardinal. (ยฉ 2007 WILEYโ€VCH Verlag GmbH & Co. KGaA, Weinheim)