Skip to main content
Stefan Mesken's user avatar
Stefan Mesken's user avatar
Stefan Mesken's user avatar
Stefan Mesken
  • Member for 10 years, 4 months
  • Last seen more than 4 years ago
awarded
revised
Loading…
comment
The $\delta$-approximation property for ground models
Interesting. I've only had a short glimpse a Unger's paper. Does "$\mathbb P$ is absolutely $\delta$-c.c." mean that $\mathbb P \times \mathbb P$ is $\delta$-c.c.?
revised
Loading…
comment
The $\delta$-approximation property for ground models
@JoelDavidHamkins Thanks for spotting that typo. I'll fix it.
revised
Loading…
revised
The $\delta$-approximation property for ground models
added highlighting of the main question
Loading…
revised
Loading…
Loading…
comment
Is it known whether or not $\aleph_\alpha=\beth_\alpha$ can be proven by ZFC?
Zetapology, that's actually not an issue. It's just that $\beth_{1}$ represents different ordinals in different models. If we fix the ordinal $\alpha$ - not the definition $\alpha$ may satisfy - as I did, everything works.
comment
Is it known whether or not $\aleph_\alpha=\beth_\alpha$ can be proven by ZFC?
@Goldstern You're right, of course. I'm not entirely sure how to elegantly state what I have in mind but something like "for every $\alpha > 0$ there is some forcing $\mathbb P_{\alpha}$ such that $1 \Vdash_{\mathbb P_\alpha}^L \neg \mathrm{CH}(\aleph_{\check{\alpha}})$" would work. However, I don't think that focusing on this formality is very helpful to OP which is why, grudgingly, I consider keeping my statement as is.
awarded
comment
Is it known whether or not $\aleph_\alpha=\beth_\alpha$ can be proven by ZFC?
So while $\mathrm{ZFC}$ proves that $\mathrm{CH}(\aleph_\alpha)$ occurs on a club class, it can't guarantee this for any particular $\alpha$.
Loading…
comment
Limitations of determinacy hypotheses in ZFC
Regarding 3: In this answer Andreas Blass shows that determinacy on length $\omega_1$ games over $\omega$ is inconsistent with $\operatorname{ZF}$.
answered
Loading…
comment
Large cardinal properties of $j(\kappa)$
Note that if we relax the phrasing of the first question a bit, we can get positive results: Let $U$ be a 'sufficienlty nice' measure on $\kappa$ (e.g. be derived from an ultrapower embedding) and let $i_U \colon L \to L$ be the restriction of the ultrapower embedding to $L$. This itself is an ultrapower embedding of the structure $(L; \in, U \cap L)$ (i.e. definable in this structure by the usual construction) and in there $i_U(\kappa)$ is weakly compact.
comment
Cardinality of the set of functions commuting with $f:X\to X$
@Joel No, there is no such $f$. See Will's answer.
comment
Iterative approximate solutions to games
I see. Your kind of games look pretty different from the ones I had in mind. Thanks for your clarifications.
comment
Iterative approximate solutions to games
Can you give more details? What exactly is your definition of a game? What is a turn? What are the winning conditions? What is the pay-off? In its current state you can easily construct a 'game' in which this approach will fall flat. Simply let a given player lose if he follows your proposed strategy.
1 2 3
4
5
8