Results 201 to 210 of about 793 (236)

Intensionality, Reflection, and Large Cardinals

Siberian Mathematical Journal, 2002
The authors study some axiomatic systems of set theory in which the reflection principle is postulated for all formulas without class quantifiers. These systems are interesting because in some of them the existence of large cardinals can be proven. Some aspects of interpretability of these theories in classical systems and in each other are considered.
Belyakin, N. V., Ganov, V. A.
openaire   +2 more sources

Large cardinals and projective sets

Archive for Mathematical Logic, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Haim Judah, Otmar Spinas
openaire   +2 more sources

Large cardinals at the brink

Annals of Pure and Applied Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

On the ordering of certain large cardinals

Journal of Symbolic Logic, 1979
It is well known that the first strongly inaccessible cardinal is strictly less than the first weakly compact cardinal which in turn is strictly less than the first Ramsey cardinal, etc. However, once one passes the first measurable cardinal the inequalities are no longer strict.
openaire   +1 more source

Large Cardinal Properties of Small Cardinals

1998
The fact that small cardinals (for example N1 and N2) can consistently have properties similar to those of large cardinals (for example measurable or supercompact cardinals) is a recurring theme in set theory. In these notes I discuss three examples of this phenomenon; stationary reflection, saturated ideals and the tree property.
openaire   +1 more source

Sequentially Large Cardinals

1983
Publisher Summary This chapter discusses sequentially large cardinals. Large cardinals defined via elementary embeddings are the largest cardinals and the strongest in terms of relative consistency strength. The chapter defines the sequentially large cardinals are defined, a spectrum of large cardinals that are defined via elementary embeddings, in ...
openaire   +1 more source

Tall Cardinals in Extender Models

Notre Dame Journal of Formal Logic, 2021
Ralf Schindler
exaly  

Large cardinals

2022
openaire   +1 more source

Large Cardinals

1974
W. Wistar Comfort, Stylianos Negrepontis
openaire   +1 more source

Superstrong and other large cardinals are never Laver indestructible

Archive for Mathematical Logic, 2015
Joan Bagaria, Joel David Hamkins, Toshimichi Usuba   +2 more
exaly