Timeline for What's the consistency strength of resemblance + global failure of the continuum hypothesis?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Mar 20, 2020 at 23:15 | comment | added | Alessandro Codenotti | My bad, I was thinking about regular cardinals | |
| Mar 20, 2020 at 22:11 | comment | added | Zuhair Al-Johar | @MonroeEskew, No! I'm asking about the consistency strength to find if it is consistent or not, and to see in which of the known systems it is equi-interpretable. For example here I'm asking specifically about whether resemblance would increase the strength of failure of CH everywhere when added on top of it? This is a question. My aim is not to show you an axiomatic system as you think, its not really a hard job to come up with such axiomatics, I'm presenting that problem axiomatically in order for it to be presented it in rigorous terms, and I think that's how it should be presented. | |
| Mar 20, 2020 at 16:42 | comment | added | Monroe Eskew | cs.nyu.edu/pipermail/fom/1998-August/001929.html | |
| Mar 20, 2020 at 16:36 | comment | added | Monroe Eskew | It seems that you are just imagining different axiom systems and telling us about them, while putting the question, "What is the consistency strength?" at the end to justify these being mathoverflow questions. I think this is not an appropriate use of mathoverflow, because it is not really about posing and solving mathematical problems. Moreover, "What is the consistency strength?" is not in general a well-defined question because the set of all theories is not linearly ordered or well-founded in the relative consistency partial order. | |
| Mar 20, 2020 at 11:35 | comment | added | Alessandro Codenotti | Based on the fact that among your last 30 questions only 8 received an answer and you get +6 summing all of their up and downvotes, the other users of the website don't appear to be interested in such questions for their own sake. As Asaf was saying those theories appear arbitrary/unmotivated, usually set theorists start by studying a problem interesting by itself which then turns out to have high consistency strength, they don't sit around randomly modifying axioms until they stumble in an interesting one. Of course you can ask any question, but if you never get answers you should wonder why | |
| Mar 20, 2020 at 11:18 | comment | added | Zuhair Al-Johar | @AsafKaragila for example here in this question, I want to know how far can resemblance go! Can it add strength to something that is known to be stronger than it, which is failure of continuum hypothesis everywhere; can indescribability (what resemblance is about) on top of failure of CH everywhere also yield stronger results? or it becomes idle at such altitude? I expect such a question to be easy for a professional set theorist interested in large cardinals to answer. | |
| Mar 20, 2020 at 11:13 | comment | added | Zuhair Al-Johar | @AsafKaragila, I'm interested in axiomatics for their own sake, not for a motivation the lies prior to them (like capturing an informal notion, construction, etc...), the motivation of an axiomatic system is itself, so I only need to know its relative consistency to other axiomatics, and see what it can bear. That is hobby, but it doesn't mean that it is not serious. I want to investigate these various axiomatics, especially those that are connected to recombination of known axiomatic systems, since otherwise there is endless axiomatics. Thanks! | |
| Mar 20, 2020 at 8:49 | comment | added | Asaf Karagila♦ | Zuhair, I think @Monroe means that a lot of your questions are quite similar: take a theory, vary some axiom scheme, ask for consistency strength. To a professional set theorist, these questions are kind of odd. We don't see the picture in your head that motivates this sort of research, and at some point it starts to become repetitive for no good reason. We know that you're a hobbyist, and I think it's great people are interested in this on a hobbyist level. But seeing how this is not what set theorists normally do, seeing a continuous flow of these questions is just... befuddling. | |
| Mar 19, 2020 at 23:18 | comment | added | Zuhair Al-Johar | @MonroeEskew, that's the first time I asked this question. I never asked about the effect of resemblance on global failure of choice. | |
| Mar 19, 2020 at 22:15 | comment | added | Monroe Eskew | Why do you keep asking this question? | |
| Mar 19, 2020 at 21:32 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |