Timeline for Cardinals without choice: interpolation (reference wanted)
Current License: CC BY-SA 3.0
9 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 17, 2013 at 0:26 | vote | accept | CommunityBot | ||
May 16, 2013 at 9:44 | comment | added | Gerhard Paseman | Butch, you missed an answer posted by Asaf Karagila, which was later deleted because of (I suspect) a nonobvious use of choice. Somehow a set which was some form of union of (images of) the a cardinals was shown to exist inside the b cardinals and that this set exhibited the desired cardinality. While it was a nice presentation, I was unsure how the set guaranteed the desired cardinality in ZF. On the matter of personal remarks, it's best to pretend you are at a televised seminar when you are making them. Gerhard "Typing This While Mostly Naked" Paseman, 2013.05.16 | |
May 16, 2013 at 6:25 | comment | added | Benjamin Dickman | Perhaps eudml.org/doc/213170 (`Axiomatic and algebraic aspects of two theorems on sums of cardinals', Tarski, 1948) is a good place to look for this theorem, a result implying it, or a separate reference. I hope someone with more patience/time than I have at the moment finds this a helpful start. | |
May 16, 2013 at 5:22 | history | edited | user33772 | CC BY-SA 3.0 |
clarification
|
May 16, 2013 at 3:41 | comment | added | Péter Komjáth | I just heard this nice result from Fred Galvin a few weeks ago. My understanding is that he proved it without knowing a reference. | |
May 15, 2013 at 23:09 | answer | added | Asaf Karagila♦ | timeline score: 4 | |
May 15, 2013 at 22:58 | comment | added | The User | How do you want to prove this per induction for $m=n=3$? I think that this induction does not work. | |
May 15, 2013 at 22:56 | comment | added | Andrés E. Caicedo | Funny, when you mentioned this in your previous question, I almost asked for a reference. I'm still in the process of trying to dig one up myself. (In other news, I believe Marion and I owe you an email.) | |
May 15, 2013 at 22:38 | history | asked | user33772 | CC BY-SA 3.0 |