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.

learn more… | top users | synonyms

1
vote
1answer
39 views

Model for replacement

If $R_{k} $ is a model for replacement, is necesarly k a strong limit cardinal? And if k is a regular cardinal, are then equivalent the sentences: k is a strongly inaccesible cardinal if and only if ...
9
votes
0answers
162 views

What's the latest on Laver tables?

A couple of years ago, I was astonished and delighted to learn about Laver tables, a sequence (indexed on $n$) of Cayley-like tables for a binary operation $\star$ on numbers $i,j\leq 2^n$ that ...
6
votes
0answers
181 views

Large Cardinal Inequalities

Solovay showed that the existence of $0^\dagger$ follows from the existence of two measurable cardinals. We know existence of a measurable cardinals is weaker than existence of $0^\dagger$ so we ...
5
votes
0answers
334 views

Good Reference for Large Cardinals/Homotopy Theory

I'm planning on attending a conference in Barcelona in September called "Large Cardinal Methods in Homotopy Theory" and want to try to be as prepared as I possibly can. Are there good references for ...
4
votes
0answers
69 views

Strange Consequences of Large Cardinals in Probability

Large cardinal axioms are very strong hypothesizes and as any other strong hypothesis they have many strange consequences in mathematics. On the other hand we know that if we bring even the least ...
4
votes
0answers
55 views

Let $\Phi$ denote the statement that $\mathrm{GCH}$ holds, and that no inaccessible cardinals exist. Is $\Phi$ limiting?

By an "inner model," let us mean a transitive subclass of the universe satisfying $\mathrm{ZFC}.$ Given that, here's an (intentionally) vague definition. Definition. Call a set of axioms $\Phi$ in ...
4
votes
0answers
78 views

How to think about iterated ultrapowers?

I would like to gain some basic intuition about iterated ultrapowers. I am perfectly happy with accepting the construction and can see that it fits into a fundamental role in many places (for example, ...
4
votes
0answers
79 views

What are the “ordinary” (e.g. arithmetic) consequences of the universe axiom?

Consider the first-order theory obtained by adjoining to ZFC (or, better, Mac Lane set theory) the Grothendieck–Verdier (or Bourbaki?) universe axiom: For each set $x$ there exists a Grothendieck ...
3
votes
0answers
46 views

Is there any filter space characterization for strong cardinals?

The theory of filter spaces is introduced by Apter, Diprisco, Henle & Zwicker, in their joint paper: Arthur Apter, Carlos Di Prisco, James Henle, and William Zwicker, Filter spaces: towards a ...
3
votes
0answers
69 views

Expository Papers on Extenders

Extenders are discussed in many set theory text books. Here I am looking for some expository "papers" which are focused on this subject and its connection with forcing and large cardinals. More ...
3
votes
0answers
122 views

Levy collapse gone bad

Let $\kappa$ be strongly inaccessible, and let $\mu<\kappa$ be regular. What is the effect on $\kappa$ of forcing with the following? (1) The product of $Col(\mu,\alpha)$ for $\alpha<\kappa$, ...
3
votes
0answers
87 views

Weakly Normal Ultrafilters

A filter $F$ on $\lambda$ is weakly normal if and only if for all $f : \lambda \rightarrow \lambda$ such that $\{\xi < \lambda : f(\xi) < \xi\} \in F^+$, then there is some $\beta < \lambda$ ...
3
votes
0answers
130 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 ...
3
votes
0answers
114 views

Can any large cardinal axiom be reached by a recursive sequence of unbounded sequences and fixed points?

The lowest large cardinals can be seen as a simple recursive rule that defines an unbounded sequence, then defines a fixed point of the sequence, then an unbounded sequence of fixed points, a fixed ...
3
votes
0answers
83 views

Are large cardinals bi-interperable with type theory?

"Sets in Types, Types in Sets" establishes that the calculus of constructions is bi-interpretable with ZFC + infinitely many inaccessibles. Are there any more results like this higher up the large ...
2
votes
0answers
30 views

Do large cardinal properties tend to be semiabsolute?

I don't know much about large cardinals; so, I want to get a feeling of the landscape. Hence this question. Definition. Whenever $C$ is a unary predicate in the language of ZFC, let us call $C$ ...
2
votes
0answers
60 views

Inaccessible Cardinals and Grothendieck Universes

I'm trying to prove that the following statements are equivalent: 1.$\forall\alpha\in\mathbb{ON}\ \exists\ \kappa>\alpha$ is an inaccessible cardinal. 2.$\forall x\ \exists\ U\ x\in U$ and $U$ is ...
2
votes
0answers
36 views

Is the following notion equivalent to subtle cardinals?

Let $\kappa$ be a regular, uncountable cardinal. We call $\kappa$ $\dagger$ if for every sequence $(A_\alpha \colon \alpha < \kappa)$, $A_\alpha \subseteq \alpha$ and every $\xi_0 < \kappa$ ...
2
votes
0answers
47 views

Is there any inconsistent large cardinal axiom which its inconsistency proof is essentially different from proof of Kunen inconsisteny theorem?

There is a long list of large cardinal axioms. Most of them deemed to be consistent with ZFC but there are also some axioms like existence of Reinhardt or $\omega$-huge cardinals which are natural ...
2
votes
0answers
90 views

How large is an uncountable regular cardinal which is closed under arbitrary fast operators?

Let $Card$ be the proper class of all cardinals, define an infinite set of operators like $\otimes_{n}:(Card\setminus \omega)\times (Card\setminus\{0\})\longrightarrow Card$ which are defined for each ...
2
votes
0answers
34 views

Is it true that each large cardinal which is not first order expressible has no extender characterization?

It is well-known that Reinhardt cardinal (i.e. The critical point of a non-trivial self-elementary embedding of the universe in $ZF$) is not first order expressible. Does this imply that Reinhardt ...
2
votes
0answers
65 views

Kanamori's proof that Vopenka's principle implies the existence of extendibles.

In The Higher Infinite, Kanamori gives a proof that Vopenka's principle implies the existence of (many) extendibles. The relevant theorem is Proposition 24.15 on p.337. Working in a $V_\kappa$ which ...
2
votes
0answers
49 views

Large Cardinal Consequences of $\kappa$-Suslin Hypothesis

$\kappa$-Suslin Hypothesis ($\kappa$-SH) for the infinite regular cardinal $\kappa$ says that every tree of height $\kappa$ either has a branch of length $\kappa$ or an antichain of cardinality ...
2
votes
0answers
57 views

Is consistency strength order dense?

Definition: Let $\sigma$, $\theta$ be two statement in the language of set theory. We say $\sigma <_{c} \theta$ ($\sigma$ is strictly lower than $\theta$ in consistency strength order) if within ...
2
votes
0answers
76 views

Proof of PFA from Supercompact

In Jech's proof (in chapter 31) that the consistency of a supercompact cardinal implies the consistency of PFA, he needs the following fact: Let $\mathbb{P}_\kappa$ be the countable support forcing ...
2
votes
0answers
108 views

How large or small can the gap in Shelah's main gap theorem be, up to consistency?

Shelah's main gap theorem in model theory says: For each first order complete theory $T$ in a countable language if $I(T,\kappa)$ denotes the number of its models of size $\kappa$ then one of ...
2
votes
0answers
99 views

Why are large cardinal axioms actually axioms?

A cardinal is an isomorphism class in ZFC, or a representative of one. I'm not asking what the significant uses of large cardinals are, or why we would want to find them or construct them; I'm ...
2
votes
0answers
87 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 ...
1
vote
0answers
55 views

How to make a large cardinal unique?

A general form of questions regarding large cardinals is the following: Let $A(x)$ be the formula asserting "$x$ is a large cardinal of type $A$" then is the following true? ...
1
vote
0answers
51 views

Dual Constructions for Core Models

Roughly speaking, core models are inner models of ZFC which could contain some large cardinals. e.g. $L$ is the smallest core model and it is possible to have inaccessible, Mahlo, weakly compact, ...
1
vote
0answers
156 views

Zero sharp and Kunen inconsistence.

There is some (deep/shallow/interesting/trivial) relation between: (1) $\exists 0^\sharp$ iff $\exists j:L\longrightarrow L$ nontrivial elementary embedding. (2) The Kunen inconsistency $\not\exists ...
1
vote
0answers
91 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 ...
1
vote
0answers
77 views

Ultrapowers by extenders of potential premice

I have a problem with an argument in Fine structure and iteration trees by Mitchell and Steel. Let $E$ be a $(\kappa, \lambda)$-extender. Let $\dot E^{\mathcal{M}}$ the a unary predicate with is ...
0
votes
0answers
36 views

Applications of Infinitary Matrices in Set Theory

Matrices have a natural generalization to infinitary context. There are few known applications of such matrices in set theory. For example one may use Ulam matrices to show that real-valued measurable ...
0
votes
0answers
71 views

Is the notion of “small cardinal” well definable?

When we talk about large cardinals, at least for many of them, we usually isolate a particular property expressing their "relative largeness with respect to cardinals below them". For example being ...
0
votes
0answers
51 views

Similarity of the Universe $V$ and its $\kappa$-Fragments

Intuitively, if a cardinal $\kappa$ is "large" then the $\kappa$-fragment of the universe $V_{\kappa}$ is so "similar" to the entire universe $V$. For example if $\kappa$ is supercompact then ...
0
votes
0answers
67 views

Large Cardinals with Elementary Extension Characterization

Question: Which large cardinals $\kappa$ have a characterization in the following form: $\kappa$ is large if and only if for all cardinals $\lambda>\kappa$, $\langle W_{\kappa},\in\rangle\prec ...