The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
0answers
67 views

Preserving Jonsson cardinals

I am (still) interested in trying to characterize and describe forcings that preserve Jonsson cardinals. A cardinal $\kappa$ is a Jonsson cardinal if there is no Jonsson algebra on $\kappa$, i.e. ...
3
votes
1answer
87 views

Classify set theories whose transitive models sharing the same sets of ordinals are equal

This question is a follow-up from my recent question, Classifying set theories whose standard models sharing the same ordinals are equal Let's say that a (recursively axiomatizable) set theory $T$ ...
12
votes
2answers
217 views

Classifying set theories whose standard models sharing the same ordinals are equal

Let's say that a (recursively axiomatizable) set theory $T$ extending ZF is "ordinal-categorical" if, whenever $M$ and $N$ are standard models of $T$ sharing the same ordinals, one has $M = N$. For ...
9
votes
1answer
175 views

Strongest large cardinal axiom compatible with $V = L$?

What is the strongest known natural large cardinal axiom compatible with $V = L$ (strongest in the sense that it implies all known "small" large cardinal axioms, where a large cardinal axiom is said ...
10
votes
1answer
278 views

What are the current views on consistency of Reinhardt cardinals without AC?

It's well known that Reinhardt cardinals are inconsistent, provided that we have access to axiom of choice, but, as far as I know, we are clueless about this when we don't assume choice. For me, the ...
4
votes
1answer
133 views

Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?

What is the simplest non-constructible set of integers (say, in the analytical hierarchy) that is compatible with the nonexistence of $0^\sharp$? In particular, can there still be a non-constructible ...
8
votes
2answers
160 views

Elementary embeddings with the same critical point

Question: Is it consistent (relative to the existence of large cardinals) that there is an elementary embedding $j\colon V\to M$ (where $M$ is transitive model) that factors as $j = j_n \circ k_n$ for ...
4
votes
1answer
150 views

almost huge embeddings and stationary correctness

Suppose $\kappa$ is an almost huge cardinal. Using the characterization of Theorem 24.11 in Kanamori's book, one can show that if $j : V \to M$ is an embedding derived from an almost-huge tower of ...
9
votes
0answers
252 views

Reinhardt cardinals and iterability

Work in $ZF$. Let $j:V\to V$ be a non-trivial elementary embedding which is iterable, so that we can iterate it and form models $M_\alpha, \alpha\in ON,$ with $M_0=V,$ and elementary embeddings ...
7
votes
0answers
157 views

Countable choice in $L(\mathbb{R}^*_G)$

Let $\lambda$ be a singular strong limit cardinal and let $G \subset \text{Col}(\omega,\mathord{<}\lambda)$ be a $V$-generic filter. Let $\mathbb{R}^*_G = \bigcup_{\alpha < \lambda} ...
6
votes
1answer
206 views

Can the Cohen forcing collapse cardinals?

Let $\kappa$ be a regular cardinal, and let $\mathbb{P} = Add(\kappa,1)$ be the standard forcing notion for adding a new subset of $\kappa$ using partial function from $\kappa$ to $2$ with domain of ...
3
votes
1answer
198 views

How to change the successor of a singular with a Woodin?

I'm looking for references on how to change the successor of a singular cardinal from "more or less" minimal assumptions. If possible, then without adding bounded subsets to the singular either. In ...
8
votes
1answer
202 views

Erdős cardinals and $0^\sharp$

It is well-known that if the Erdős cardinal $\kappa(\omega_1)$ exists, then $0^\sharp$ exists, but what if $\kappa(\lambda)$ exists for a limit ordinal $\omega_1^L\leq \lambda<\omega_1$? Does this ...
4
votes
1answer
203 views

Iterated ultrapowers of L

If there exists a measurable cardinal, we can generate a sequence of iterated ultrapowers $\{Ult_U^\alpha(V)\}_{\alpha\in ON}$. If $0^\sharp$ exists, i.e. if there exists an elementary embedding ...
10
votes
1answer
224 views

On the definition of the $\alpha$-iterable cardinals

I am reading the paper Ramsey-like cardinals II by Victoria Gitman and Philip Welch (Journal of Symbolic Logic, vol. 76, no. 2. pp. 541-560, 2011) and maybe I am missing something. According to the ...
8
votes
2answers
956 views

The impact of large cardinals in mathematics [closed]

What are the main applications of large cardinals in ordinary mathematics, and what is the philosophy behind using them. In particular: Question 1. What is the philosophy behind accepting large ...
6
votes
1answer
207 views

On a weak tree property for inaccessible cardinals

Suppose that $\kappa$ is inaccessible and consider a tree of height $\kappa$ whose levels have size strictly below some cardinal $\gamma < \kappa$. Does this type of tree always have a ...
6
votes
1answer
269 views

higher-order reflection

In the first-order context, "reflection" of a formula $\varphi(x)$ below $\kappa$ refers to the the following situation: There are many ordinals $\alpha<\kappa$ such that for all $a \in ...
10
votes
1answer
353 views

Erdős cardinals and ineffable cardinals

In Cantor's Attic it is stated that an $\omega$-Erdős cardinal is a stationary limit of ineffable cardinals, and Jech book is given as a reference, but I cannot find this result in that book. I have ...
5
votes
0answers
147 views

A variant of Chang's model with choice

Let $M_n$, $n < \omega$, be a models of $ZFC$ with the same ordinals, closed under countable sequences. Let $\alpha_n$ be an ordinal which is a regular cardinal in $M_n$. Question 1: Is it ...
11
votes
0answers
349 views

Ideas behind Gitik's solution of PCF conjecture

Recently Moti Gitik has refuted Shelah's PCF conjecture (see Short extenders forcings II ) by proving the following theorem: Theorem. Assuming the consistency of infinitely many strong cardinals, one ...
7
votes
1answer
245 views

Inaccessible becomes successor of singular

Is it possible, starting from any large cardinal assumption, to find a countably closed forcing $\mathbb{P}$ such that for some inaccessible $\kappa$, $\Vdash_\mathbb{P} "\kappa = \lambda^+$ and ...
4
votes
1answer
194 views

The word problem of the free left distributive algebra on one generator

A left distributive algebra is a set $A$ together with a binary operation, $\cdot$, satisfying $a\cdot(b\cdot c)=(a\cdot b)\cdot(a\cdot c)$. One important example of left distributive algebras arises ...
8
votes
2answers
245 views

A Weakening of the Tree Property

If $f$ and $g$ are two functions, define $f \sim g$ if they differ only finitely often on their common domain. The following property of a large cardinal arose from a problem in model theory. I am ...
7
votes
1answer
125 views

Strongly compact cardinal with bad covering properties

This is a continuation of the question covering properties of strongly compact embedding. Recall that a cardinal $\kappa$ is $\nu$-strongly compact cardinal if there is an elementary embedding ...
5
votes
1answer
141 views

A realcompact analogue of the Baire category theorem

Let $\frak{m}$ be the least measurable cardinal. A space $X$ is realcompact if it is homeomorphic to a closed subset of some product $\mathbb{R}^I$. Let $X$ be realcompact with $P_\frak{m}$ topology, ...
5
votes
1answer
156 views

Covering properties of strongly compact embedding

Let $\kappa$ be a $\mu$-strongly compact cardinal, which means that there is an elementary embedding $j:V\rightarrow M$, with critical point $\kappa$ such that $M$ is well founded (even closed under ...
11
votes
1answer
297 views

What is the large cardinal strength of the assertion that every $\kappa$-complete filter on $\kappa$ extends to a $\kappa$-complete ultrafilter?

It is well-known that an uncountable regular cardinal $\kappa$ is strongly compact if and only if every $\kappa$-complete filter on any set extends to a $\kappa$-complete ultrafilter on that set. The ...
6
votes
0answers
199 views

Does Sageev's result need an inaccessible?

In 1981, building on work by Ellentuck in 1974, Sageev showed ("A model of ZF + there exists an inaccessible, in which the Dedekind cardinals constitute a natural non-standard model of arithmetic," ...
10
votes
1answer
443 views

Does Turing determinacy imply full determinacy?

The axiom of Turing determinacy is a weakening of the full axiom of determinacy, $AD$, in which only games with payoff sets which are $\equiv_T$-invariant are demanded to be determined. In "Turing ...
3
votes
2answers
436 views

A question about “local” versus “global” large cardinal axioms

The terms "local" and "global" when applied to large cardinal axioms seem to have a well understood intuitive meaning, although a formalized definition of them in (a meta-language for)ZFC might be ...
3
votes
1answer
156 views

Are normal ultrafilters generated by conditional closure systems?

Suppose that $\kappa$ is a cardinal, $X$ is a set with $|X|>\kappa$, and $\mathcal{U}\subseteq P(P_{\kappa}(X))$ is a normal ultrafilter. We say that a collection $C\subseteq P_{\kappa}(X)$ is a ...
5
votes
1answer
204 views

Is there a large-cardinal completeness theorem for $L$?

I cannot currently find the original, but if memory serves, Goedel once speculated that there might be a "large-cardinal completeness theorem for $V.$" This theorem would state: *Theorem. For every ...
10
votes
0answers
191 views

Namba forcing and semiproperness

This question is the result of leaving "Proper and Improper Forcing" on my nightstand by accident. Is the statement "Namba forcing is semiproper" known to be equiconsistent with some more standard ...
4
votes
1answer
176 views

Can a Measureable Cardinal Become the Least Weakly Compact Cardinal in a Forcing Extension?

I am trying to establish whether it is consistent that some property holds at the least weakly compact cardinal. I know that the property holds at measureables. Hence (hoping everything else goes ...
2
votes
0answers
85 views

Do there exist projective realcompact covers?

In 1958 Gleason [1] constructed projective covers in the category of compact Hausdorff spaces. These may be characterized in many ways. One description that is most interesting to me: $p:EX\to X$ is a ...
14
votes
6answers
2k views

What “forces” us to accept large cardinal axioms?

Large cardinal axioms are not provable using usual mathematical tools (developed in $\text{ZFC}$). Their non-existence is consistent with axioms of usual mathematics. It is provable that some of ...
10
votes
2answers
604 views

Questions about Prikry forcing and Cohen forcing

I have some questions. The first one is about the product of Prikry's forcing. Let $\kappa$ be a measurable cardinal, $U_1, U_2$ be normal measures on $\kappa$ and let $\mathbb{P}_{U_1}, ...
9
votes
1answer
302 views

Inner model in which every uncountable cardinal is large

The following is known: $(*)$ If $0^\sharp$ exists, then any uncountable cardinal is is an inaccessible cardinal (and even more) in $L$. My question is that: Are there any large cardinal ...
4
votes
0answers
189 views

$\infty$-Borel Determinacy?

An $\infty$-Borel set is a set $X\subseteq\mathbb{R}$ which has an $\infty$-Borel code - a set $r$ coding the construction of $X$ via open sets, complementation, and well-ordered unions (see ...
10
votes
0answers
253 views

cardinals below the critical point of a generic embedding

This may be an easy question. Are the cardinals below the critical point of a precipitous ideal embedding always absolute between the generic ultrapower and the generic extension? To focus on the ...
5
votes
1answer
226 views

$\omega$ universally Baire sets, tree representations

I've recently encountered the notion of a universally Baire set, and I've tried to look at the paper by Feng, Magidor and Woodin where this notion is studied. There are several points that confuse me. ...
6
votes
1answer
227 views

regularity of ultrafilters

An ultrafilter $U$ is $(\mu,\kappa)$-regular if there is a sequence $\langle X_\alpha : \alpha < \kappa \rangle \subseteq U$ such that for all $y \in [\kappa]^\mu$, $\bigcap_{\alpha \in y} X_\alpha ...
13
votes
0answers
569 views

Souslin trees and weakly compact cardinals

In Souslin trees on the first inaccessible cardinal it is asked if it is consistent that there are no $\kappa-$Souslin trees at the least inaccessible cardinal $\kappa$. In this question I would like ...
10
votes
2answers
432 views

Does there exist a supercompactness theorem?

Large cardinals such as weakly compact cardinals, measurable cardinals, strongly compact cardinals, and extendible cardinals all can be characterized in terms of a certain compactness theorem of ...
5
votes
0answers
114 views

A result of Steel on characterizing lightface pointclasses

In the article Projectively wellordered inner models, Steel proves the following theorem (4.12): Theorem: Let $n < \omega$ and suppose $\mathcal{M}_n^{\sharp}$ exists. Let ...
5
votes
2answers
193 views

Can we have a $\kappa$-Suslin tree where $\kappa$ is above a measurable cardinal?

Question: Can we have a set theory in which there exists a $\kappa$-Suslin tree with $\kappa$ larger than the least measurable cardinal? A $\kappa$-Suslin tree is a tree with levels indexed by ...
-2
votes
1answer
168 views

is the existence of an inaccessible cardinal stronger than just CON(ZFC)? [closed]

is it even stronger than that ZFC has a transtitive model?
-2
votes
1answer
136 views

what's the limit of cardinals can be proved to exist in ZFC

what is the smallest cardinal k can not be proved to exist in ZFC?And what is the smallest cardinal k ,that the existence of k can imply CON(ZFC)?
5
votes
1answer
251 views

Woodin Cardinals and Inner Models

I have a few questions I have been thinking about that I could definitely use some insights on: Question 1. Since a Woodin cardinal is a "local" notion, defined with respect to some rank-initial ...