# Tagged Questions

The tag has no usage guidance.

234 views

### Extending complete filters

Suppose $\kappa$ is a measurable cardinal and let $\mathcal{F}\subset\wp(\kappa)$ be a $\kappa$-complete non-principal filter. Can we extend $\mathcal{F}$ to a $\kappa$-complete ultrafilter? My ...
184 views

### $\Delta^1_2$-well ordering vs $\Delta^1_3$

It is a classical result that if $0^{\sharp}$ exists, then there is a model of $ZFC$ in which there is a $\Delta^1_3$ well ordering of reals but no $\Delta^1_2$-well ordering. My question is: Is ...
174 views

### Two complementing consequences of supercompactness

I would like to know if the following two consequences of having a supercompact cardinal are orthogonal: 1) On one hand being supercompact is equivalent to being "A ineffable for all A" ...
316 views

### Relation between $\neg \square(\kappa)$ and the tree property at $\kappa$.

If $\kappa$ is an inaccessible cardinal then the tree property at $\kappa$ is equivalent to weak compactness of $\kappa$, which implies that $\square(\kappa)$ fails---that is, that every coherent ...
695 views

### Can measures be added by forcing?

The Lévy-Solovay theorem says that small forcings do not create measures. J.D. Hamkins has generalized this to a larger class of forcings called gap forcings. I would assume this cannot be ...
345 views

### A question about the comparability of large cardinals.

Are there any examples of two large cardinal axioms $AX$ and $AY$, in the language of first order $ZFC$, which satisfy the following conditions. Each of them defines a unique cardinal number - ...
370 views

### large cardinal tree properties as properties of sheaves

As follows from this talk Large Properties for Small Cardinals, p.7,p.4 http://www2.dm.unito.it/paginepersonali/viale/SEMINARS-TORINO/Fontanella-Torino-19.1.2012.pdf, the definitions of weakly compact ...
253 views

### Internal large cardinal embeddings. How deep can we go?

Suppose, in V, that $\kappa$ is a large cardinal, say $\kappa$ is supercompact, and $j:V \to M$ is an ultrapower embedding witnessing the large cardinal properties of $\kappa$. From here, we can take ...
431 views

258 views

### Dual covering theorem

Jensen's covering theorem states that if $0^\sharp$ doesn't exist, then every uncountable set of ordinals can be covered by a constructible set of the same cardinality. Now consider the following ...
877 views

### How elementary can we go?

It is a theorem of A. Levy, if $\kappa$ is an inaccessible cardinal, then $V_\kappa\prec_{\Sigma_1} V$ namely $V_\kappa$ is an elementary submodel when considering only $\Sigma_1$ sentences. One ...
I want a model of $\mathrm{MA}_{\sigma\mathrm{-centered}}+\neg\mathrm{CH}$ in which every set of reals in $L(\mathbb{R})$ has the perfect set property. In terms of consistency strength, it is known ...