# Tagged Questions

471 views

### Is this extension of ZFC known to be outright inconsistent?

Is the following first-order theory known to be outright inconsistent? Adjoin to ZFC a unary function $U$ together with the following axioms. If $\alpha$ is an ordinal, then there exists an ...
133 views

### Proof of “If $ZFC$ proves there is an inaccessible cardinal, then $ZFC$ is inconsistent”.

Let $I$ be the statement "there is an inaccessible cardinal". I'm aware of two proofs of "If $ZFC\vdash I$ then $ZFC$ is inconsistent". One proof uses the Second Incompleteness Theorem, which I ...
179 views

### Is there “intuition” as to why the Continuum Hypothesis is independent of most large cardinal axioms?

I could not find a question that seemed to answer my specific query, despite lots of material on the Continuum Hypothesis (CH) on MSE and MO. If there is already a question on this, I'd greatly ...
48 views

67 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 ...
49 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 ...
86 views

### $\aleph_\omega$ and large ordinals?

Assuming the GCH, each time you take the powerset of an aleph number, the subscript increases by one. So there is $\aleph_0, \aleph_1, \aleph_2\ldots \aleph_\omega\ldots \aleph_{\epsilon_0}\ldots$ and ...
67 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 ...
50 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, ...
63 views

170 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 ...
84 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 ...
127 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 ...
104 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 ...
87 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 ...
73 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 ...