M. Magidor, On the role of supercompact and extendible cardinals in logic, Israel J. Math. 10 (1971) 147-157. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reflection Principles for the Continuum - Stavi, Väänänen (Correct)
....L [a] It follows that a # exists. Thus the existence of a with LST ( for L(I) is proof theoretically a strong assumption. Exactly how strong, remains open. If one goes all the way up to a supercompact cardinal, one can get LST ( for L(I) and much more: 28 Theorem 59 (M. Magidor [7]) If is a supercompact cardinal, then the in nitary second order logic L 2 satis es LST ( Conversely, if L 2 satis es LST ( there is a supercompact cardinal . Returning to the topic of this paper, we shall elaborate Magidor s proof of Theorem 59 to get a model of set theory ....
M. Magidor, On the role of supercompact and extendible cardinals in logic, Israel J. Math. 10(1971) 147-157.
Compact Spaces, Compact Cardinals, and - Elementary Submodels Kenneth (Correct)
No context found.
M. Magidor, On the role of supercompact and extendible cardinals in logic, Israel J. Math. 10 (1971) 147-157.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC