Skip to main content
Post Undeleted by Mohammad Golshani
Post Deleted by Mohammad Golshani
Post Undeleted by Mohammad Golshani
Post Deleted by Mohammad Golshani
added 2 characters in body
Source Link
Asaf Karagila
  • 39.7k
  • 8
  • 134
  • 282

Recall that an $\kappa$ is $\omega$-strongly measurable in $\text{HOD}$ if there exists $\lambda < \kappa$ such that $(2^{\lambda})^{\text{HOD}} < \kappa$ and such that there is no partition of $S = {\alpha < \kappa: \text{cf}(\alpha) = \omega}$$S = \{\alpha < \kappa: \text{cf}(\alpha) = \omega\}$ into $\lambda$ many sets $\langle S_{\alpha}: \alpha < \lambda\rangle \in \text{HOD}$ such each set $S_{\alpha}$ is stationary in $V$.

It is not known if the successor of a singular strong limit of uncountable cofinality can be $\omega$-strongly measurable in $\text{HOD}.$

Now my question is about countable cofinality:

Question 1. Is it consistent that the successor of some singular strong limit cardinal of countable cofinality is $\omega$-strongly measurable in $\text{HOD}$?

If consistent, would you please give some references for it.

Recall that an $\kappa$ is $\omega$-strongly measurable in $\text{HOD}$ if there exists $\lambda < \kappa$ such that $(2^{\lambda})^{\text{HOD}} < \kappa$ and such that there is no partition of $S = {\alpha < \kappa: \text{cf}(\alpha) = \omega}$ into $\lambda$ many sets $\langle S_{\alpha}: \alpha < \lambda\rangle \in \text{HOD}$ such each set $S_{\alpha}$ is stationary in $V$.

It is not known if the successor of a singular strong limit of uncountable cofinality can be $\omega$-strongly measurable in $\text{HOD}.$

Now my question is about countable cofinality:

Question 1. Is it consistent that the successor of some singular strong limit cardinal of countable cofinality is $\omega$-strongly measurable in $\text{HOD}$?

If consistent, would you please give some references for it.

Recall that an $\kappa$ is $\omega$-strongly measurable in $\text{HOD}$ if there exists $\lambda < \kappa$ such that $(2^{\lambda})^{\text{HOD}} < \kappa$ and such that there is no partition of $S = \{\alpha < \kappa: \text{cf}(\alpha) = \omega\}$ into $\lambda$ many sets $\langle S_{\alpha}: \alpha < \lambda\rangle \in \text{HOD}$ such each set $S_{\alpha}$ is stationary in $V$.

It is not known if the successor of a singular strong limit of uncountable cofinality can be $\omega$-strongly measurable in $\text{HOD}.$

Now my question is about countable cofinality:

Question 1. Is it consistent that the successor of some singular strong limit cardinal of countable cofinality is $\omega$-strongly measurable in $\text{HOD}$?

If consistent, would you please give some references for it.

added 230 characters in body
Source Link
Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198

A question regardingrelated to Woodin's $HOD$ conjecture

Recall that an $\kappa$ is $\omega$-strongly measurable in $\text{HOD}$ if there exists $\lambda < \kappa$ such that $(2^{\lambda})^{\text{HOD}} < \kappa$ and such that there is no partition of $S = {\alpha < \kappa: \text{cf}(\alpha) = \omega}$ into $\lambda$ many sets $\langle S_{\alpha}: \alpha < \lambda\rangle \in \text{HOD}$ such each set $S_{\alpha}$ is stationary in $V$.

It is not known if the successor of a singular strong limit of uncountable cofinality can be $\omega$-strongly measurable in $\text{HOD}.$

Now my question is about countable cofinality:

Question 1. Is it consistent that the successor of some singular strong limit cardinal of countable cofinality is $\omega$-strongly measurable in $\text{HOD}$?

If consistent, would you please give some references for it.

A question regarding Woodin's $HOD$ conjecture

Recall that an $\kappa$ is $\omega$-strongly measurable in $\text{HOD}$ if there exists $\lambda < \kappa$ such that $(2^{\lambda})^{\text{HOD}} < \kappa$ and such that there is no partition of $S = {\alpha < \kappa: \text{cf}(\alpha) = \omega}$ into $\lambda$ many sets $\langle S_{\alpha}: \alpha < \lambda\rangle \in \text{HOD}$ such each set $S_{\alpha}$ is stationary in $V$.

It is not known if the successor of a singular strong limit of uncountable cofinality can be $\omega$-strongly measurable in $\text{HOD}.$

Now my question is about countable cofinality:

Question Is it consistent that the successor of some singular strong limit cardinal of countable cofinality is $\omega$-strongly measurable in $\text{HOD}$?

If consistent, would you please give some references for it.

A question related to Woodin's $HOD$ conjecture

Recall that an $\kappa$ is $\omega$-strongly measurable in $\text{HOD}$ if there exists $\lambda < \kappa$ such that $(2^{\lambda})^{\text{HOD}} < \kappa$ and such that there is no partition of $S = {\alpha < \kappa: \text{cf}(\alpha) = \omega}$ into $\lambda$ many sets $\langle S_{\alpha}: \alpha < \lambda\rangle \in \text{HOD}$ such each set $S_{\alpha}$ is stationary in $V$.

It is not known if the successor of a singular strong limit of uncountable cofinality can be $\omega$-strongly measurable in $\text{HOD}.$

Now my question is about countable cofinality:

Question 1. Is it consistent that the successor of some singular strong limit cardinal of countable cofinality is $\omega$-strongly measurable in $\text{HOD}$?

If consistent, would you please give some references for it.

Source Link
Mohammad Golshani
  • 32.1k
  • 2
  • 99
  • 198

A question regarding Woodin's $HOD$ conjecture

Recall that an $\kappa$ is $\omega$-strongly measurable in $\text{HOD}$ if there exists $\lambda < \kappa$ such that $(2^{\lambda})^{\text{HOD}} < \kappa$ and such that there is no partition of $S = {\alpha < \kappa: \text{cf}(\alpha) = \omega}$ into $\lambda$ many sets $\langle S_{\alpha}: \alpha < \lambda\rangle \in \text{HOD}$ such each set $S_{\alpha}$ is stationary in $V$.

It is not known if the successor of a singular strong limit of uncountable cofinality can be $\omega$-strongly measurable in $\text{HOD}.$

Now my question is about countable cofinality:

Question Is it consistent that the successor of some singular strong limit cardinal of countable cofinality is $\omega$-strongly measurable in $\text{HOD}$?

If consistent, would you please give some references for it.