# Tagged Questions

Large cardinals are such cardinals whose existence cannot be proved within ZFC, and requires stronger axioms to be added to ZFC, they are often used to measure the consistency strength of a certain statement in the language of set theory.

1answer
131 views

### Large cardinals and $V$

I am confused by something: $\mu$ is a large cardinal if $\lambda<\mu\Rightarrow 2^{\lambda}<\mu$ and any union of less than $\mu$ sets of size less than $\mu$ is less than $\mu$. On Wikipedia ...
1answer
117 views

### Question about rank into rank cardinals

I do not understand why λ is smaller than $\kappa_0$ if λ is the supremum of a growing sequence that starts at $\kappa_0$ (see definition below). From cantor's attic (http://cantorsattic.info/...
1answer
92 views

### Are the objects associated with large cardinals still sets?

When set theorists speak of large cardinals, are they still referring to the cardinality of some collection? If so, is this object a (hypothetical) set, a proper class, or something else?
1answer
173 views

### Ineffable Cardinals and Critical Point of Elementary Embeddings

A cardinal $\kappa$ is a ineffable if and only if for all sequences $\langle A_\alpha : \alpha < \kappa\rangle$ such that $A_\alpha \subseteq \alpha$ for all $\alpha < \kappa$, then there exists ...
1answer
107 views

### Supercompact cardinals and being witnessed by a structure of limited rank

Supercompact cardinals have reflection properties. If a cardinal with some property (say a 3-huge cardinal) that is witnessed by a structure of limited rank exists above a supercompact cardinal &...
1answer
51 views

0answers
95 views

### Follow up question for an exam question

Some time ago I got an answer to this old exam question. Now I found the following question, which strikes me as very similar: Let $\kappa$ measurable cardinal, and $\preceq$ a partial ordering on ...
1answer
184 views

### Injective or constant function on measurable cardinal

I'm working on the following question: Let $\kappa$ regular cardinal, and $f:\kappa \rightarrow \kappa$. Prove that $\{\alpha < \kappa\mid f|_\alpha : \alpha \rightarrow \alpha\}$ is a ...
1answer
115 views

### How many weakly compact cardinals can L have?

Q1: Assuming suitable consistency assumptions is the following consistent? $ZFC+V=L+\text{Existence of class many weakly compact cardinals}$ Q2: What is the weakest known consistency assumption for ...
1answer
112 views

### Is there some natural equivalent of a Turing machine for set theory?

My question is motivated by the fact that (at lest from my biased viewpoint), Turing machines are more related to standard math, particularly PA. But set theory, in most of its versions, seem to go ...
1answer
113 views

### the smallest inaccessible cardinal

Is there a notation for the smallest inaccessible cardinal? Is the concept even coherent? I read on Wiki that under certain assumptions even Aleph0 is strongly inaccessible. I mean the kind of ...
1answer
127 views

### Ultraproducts by countably complete ultrafilter

I've recently learned about ultraproducts, but the source I learned from almost immediately after the definitions restricted to talking about countably incomplete ultrafilters. I know that the ...
2answers
188 views

### A chess problem in Kanamori's “The Higher Infinite”?

Just after Corollary 21.17 (on p289) of Kanamori's The Higher Infinite, he outlines the direction in which he wants to take his discussion of iterated ultrapowers. However, immediately after he ...
1answer
106 views

1answer
136 views

### Measurable cardinals as sets

A philosopher said that measurable cardinals are the largest possible sets. Is this true? Are those sets at all? I mean, cardinals measure size of sets and for example $2=\{\{\},\{\{\}\}\}$ but can we ...
0answers
188 views

### Formalizing model-theoretical large cardinals in a formal system for ZFC

I work with the Metamath formal system, which is expressive enough to define ZFC and prove some nontrivial stuff, but my current goal is to define large cardinals, and I'm hitting a wall somewhere ...
0answers
114 views

### Tarski's axiom implies a proper class of inaccessible cardinals

I'm trying to prove this theorem, but is it even true? A Tarski's class is a set $T$ such that: For each $y\in T$, ${\cal P}(y)\subseteq T$ and ${\cal P}(y)\in T$, and for each $A\subseteq T$ such ...
1answer
210 views

1answer
131 views

### Does TG prove that ZFC2 has a model?

Does TG (Tarski-Grothendieck Set Theory) prove that ZFC2 (second-order ZFC) has a model? Does it at least prove the consistency of ZFC2?