Timeline for Relations between two tower numbers
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 5, 2020 at 9:05 | comment | added | Taras Banakh | Thank you for your comment due to which I have understood that we (with Bardyla) introduced a wrong defintion of $\hat t$. In that definition the cardinality should be changed by cofinality. | |
| Jan 2, 2020 at 12:43 | comment | added | Joel David Hamkins | I agree, I have changed only the cardinality and not the cofinality of the tower. But you defined regular tower in terms of its cardinality, not cofinality. I found that strange, and this is why I posted this answer. Of course, the cofinality of a tower will always be a regular cardinal. | |
| Jan 2, 2020 at 9:05 | comment | added | Taras Banakh | Unfortunately, your proof is not clear to me. If you create a tower on the base of a tower $T$ inserting new sets, then you do not change the cofinality of that tower. Consequently, the cofinality of the new tower $T^*$ is equal to the cofinality of the tower $T$ and this does not produce a regular tower. Or I do not see something important? | |
| Dec 27, 2019 at 10:18 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 16 characters in body
|
| Dec 27, 2019 at 10:10 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |