Timeline for Ordering large cardinal axioms around the level of $n$-huge by consistency strength?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 25, 2019 at 3:01 | comment | added | Todd Trimble | Joseph, I'm not sure what the best solution is. Your proposal might work, but my gut feeling (and I say this as a non-set-theorist) is that probably any one of these questions, say 1. to begin with, is going to be hard and would probably make a good MO question on its own. I'd actually be pleasantly surprised if someone at MO could answer such a question, as I would bet that among active MO members, you are currently the number 1 expert on these sorts of issues. | |
| Feb 24, 2019 at 19:49 | comment | added | Joseph Van Name | @ToddTrimble. I see. So perhaps I should have put a main but open ended question "Can someone provide a description or possibly an algorithm of the function $X\mapsto\mathrm{Con}(\mathrm{LC}(X))$?" and have a few of the nine questions as specific facts I would like to know about the function and which should be deduced from a description of the function? | |
| Feb 24, 2019 at 18:36 | comment | added | Todd Trimble | There can be a problem with asking so many questions in a single post; a general rule of thumb is that this should be avoided, and that asking questions one at a time is usually better. It's true that this rule of thumb is often flouted, but one problem is that no one answer is likely to address all the questions (cf. the comments under this post: mathoverflow.net/a/15857/2926), and another is that such questions lend themselves to long discussions which SE software is meant to discourage. (No doubt there are differing views on the seriousness of these problems.) | |
| Feb 24, 2019 at 13:43 | comment | added | Joseph Van Name | I see that this question has downvotes. Is there anything technically incorrect about this post that I need to be aware of? Or are the downvotes simply from people who do not like algebra or something like that? | |
| Feb 24, 2019 at 2:07 | history | edited | Joseph Van Name | CC BY-SA 4.0 |
added 3 characters in body
|
| Feb 24, 2019 at 0:53 | history | asked | Joseph Van Name | CC BY-SA 4.0 |