« first day (1338 days earlier)      last day (2610 days later) » 

Martin Sleziak
Martin Sleziak
3:51 PM
I'll try to post this here on the off-chance that somebody who is around is willing to help with this:
in Set theory, yesterday, by AlpArslan
So, I need to try and show that ZFC+IC proves that the least worldly cardinal is less than the least inaccessible.
 

« first day (1338 days earlier)      last day (2610 days later) »