tea.mathoverflow.net - Discussion Feed (Recent claim that inaccessibles are inconsistent with ZF.) 2018-11-04T23:12:56-08:00 http://mathoverflow.tqft.net/ Lussumo Vanilla & Feed Publisher DavidRoberts comments on "Recent claim that inaccessibles are inconsistent with ZF." (15649) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15649#Comment_15649 2011-08-18T14:24:28-07:00 2018-11-04T23:12:56-08:00 DavidRoberts http://mathoverflow.tqft.net/account/588/ @Quinn - one needs 3k rep to see the vote counts. Edit: I have just cast the fifth vote. @Quinn - one needs 3k rep to see the vote counts.

Edit: I have just cast the fifth vote.

]]>
Quinn Culver comments on "Recent claim that inaccessibles are inconsistent with ZF." (15648) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15648#Comment_15648 2011-08-18T13:06:11-07:00 2018-11-04T23:12:56-08:00 Quinn Culver http://mathoverflow.tqft.net/account/609/ @François Okay thanks. Where can I check the status of the votes to re-open? quid comments on "Recent claim that inaccessibles are inconsistent with ZF." (15647) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15647#Comment_15647 2011-08-18T12:42:47-07:00 2018-11-04T23:12:56-08:00 quid http://mathoverflow.tqft.net/account/583/ Deleted 'duplicate', sorry. Deleted 'duplicate', sorry.

]]>
François G. Dorais comments on "Recent claim that inaccessibles are inconsistent with ZF." (15646) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15646#Comment_15646 2011-08-18T12:42:32-07:00 2018-11-04T23:12:56-08:00 François G. Dorais http://mathoverflow.tqft.net/account/144/ That's for the community to decide. There are currently 3 votes to reopen; you need 5 votes to reopen the question. That's for the community to decide. There are currently 3 votes to reopen; you need 5 votes to reopen the question.

]]>
Quinn Culver comments on "Recent claim that inaccessibles are inconsistent with ZF." (15645) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15645#Comment_15645 2011-08-18T12:29:08-07:00 2018-11-04T23:12:56-08:00 Quinn Culver http://mathoverflow.tqft.net/account/609/ @François Will my question be considered for re-opening now that I've removed question 2? François G. Dorais comments on "Recent claim that inaccessibles are inconsistent with ZF." (15639) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15639#Comment_15639 2011-08-18T04:56:41-07:00 2018-11-04T23:12:56-08:00 François G. Dorais http://mathoverflow.tqft.net/account/144/ The recent edit eliminated the former question 2, which was the most problematic part. The edited question overlaps with a bunch of earlier ... The recent edit eliminated the former question 2, which was the most problematic part.

The edited question overlaps with a bunch of earlier questions:

We can gather a very decent answer to the question by assembling the answers to the above. However, I don't see any exact duplicates in this list.

User Tip. Google is often a much better search engine than the MO search box. The list above was quickly gathered from the search site:mathoverflow.net large cardinals.

]]>
DavidRoberts comments on "Recent claim that inaccessibles are inconsistent with ZF." (15638) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15638#Comment_15638 2011-08-18T04:30:25-07:00 2018-11-04T23:12:56-08:00 DavidRoberts http://mathoverflow.tqft.net/account/588/ @Will - actually I'm more familiar with the Californian reference, now that I'm reminded of it. Fires are a bigger problem here than waves. @Will - actually I'm more familiar with the Californian reference, now that I'm reminded of it. Fires are a bigger problem here than waves.

]]>
Quinn Culver comments on "Recent claim that inaccessibles are inconsistent with ZF." (15637) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15637#Comment_15637 2011-08-18T04:14:59-07:00 2018-11-04T23:12:56-08:00 Quinn Culver http://mathoverflow.tqft.net/account/609/ I significantly edited the question. Please let me know if it is still "subjective and argumentative". Kaveh comments on "Recent claim that inaccessibles are inconsistent with ZF." (15635) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15635#Comment_15635 2011-08-18T02:15:20-07:00 2018-11-04T23:12:56-08:00 Kaveh http://mathoverflow.tqft.net/account/325/ This is already posted on FOM. This is already posted on FOM.

]]>
Will Jagy comments on "Recent claim that inaccessibles are inconsistent with ZF." (15634) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15634#Comment_15634 2011-08-17T23:48:46-07:00 2018-11-04T23:12:56-08:00 Will Jagy http://mathoverflow.tqft.net/account/208/ I suspect he means http://en.wikipedia.org/wiki/Big_One in a general sense.For Australia, maybe this movie gives the correct feel:http://en.wikipedia.org/wiki/The_Last_Wave http://en.wikipedia.org/wiki/Big_One
in a general sense.
For Australia, maybe this movie gives the correct feel:
http://en.wikipedia.org/wiki/The_Last_Wave]]>
DavidRoberts comments on "Recent claim that inaccessibles are inconsistent with ZF." (15632) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15632#Comment_15632 2011-08-17T23:39:04-07:00 2018-11-04T23:12:56-08:00 DavidRoberts http://mathoverflow.tqft.net/account/588/ @ François at the risk of fanning flames, what is The Big One? @ François

at the risk of fanning flames, what is The Big One?

]]>
François G. Dorais comments on "Recent claim that inaccessibles are inconsistent with ZF." (15631) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15631#Comment_15631 2011-08-17T23:21:43-07:00 2018-11-04T23:12:56-08:00 François G. Dorais http://mathoverflow.tqft.net/account/144/ Question 1 is very palatable. It partly duplicates http://mathoverflow.net/questions/29302/reasons-to-believe-vopenkas-principle-huge-cardinals-are-consistent, but there is more to say on the subject ... Question 1 is very palatable. It partly duplicates http://mathoverflow.net/questions/29302/reasons-to-believe-vopenkas-principle-huge-cardinals-are-consistent, but there is more to say on the subject of inaccessible than the answers there which focus on much larger cardinals.

Experience tells us that question 2 is inappropriate for MO. There has already been a summary thread on this kind of questions.

Question 3 is debatable. It may be entertaining to speculate about the effect of such a proof, but this is likely to resemble talk of The Big One. The impact on set theory would be disastrous in an unprecedented way, but the impact on mathematics as a whole would be comparatively very small. It is unlikely that this question has any kind of definite answer.

]]>
Andres Caicedo comments on "Recent claim that inaccessibles are inconsistent with ZF." (15630) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15630#Comment_15630 2011-08-17T23:19:09-07:00 2018-11-04T23:12:56-08:00 Andres Caicedo http://mathoverflow.tqft.net/account/251/ A while ago there was a question on "arguments against large cardinals". The answers (included mine) explain that in fact there are no serious mathematical arguments against, while ... theojf comments on "Recent claim that inaccessibles are inconsistent with ZF." (15627) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15627#Comment_15627 2011-08-17T22:18:48-07:00 2018-11-04T23:12:56-08:00 theojf http://mathoverflow.tqft.net/account/96/ I am not well educated in set theory. This is a question that I would love to read answers to from the many experts who populate MO. That said, good answers do not good questions make. That said, ... I am not well educated in set theory. This is a question that I would love to read answers to from the many experts who populate MO. That said, good answers do not good questions make. That said, I don't think the question is far from a good one, and I would be eager to reopen it if there's some editing out the rumors.

]]>
Will Jagy comments on "Recent claim that inaccessibles are inconsistent with ZF." (15626) http://mathoverflow.tqft.net/discussion/1117/recent-claim-that-inaccessibles-are-inconsistent-with-zf/?Focus=15626#Comment_15626 2011-08-17T21:07:13-07:00 2018-11-04T23:12:56-08:00 Will Jagy http://mathoverflow.tqft.net/account/208/ My impression is that http://mathoverflow.net/questions/73121/recent-claim-that-inaccessibles-are-inconsistent-with-zf is asked by a legitimate guy but is another argumentative item, like the P vs NP ... http://mathoverflow.net/questions/73121/recent-claim-that-inaccessibles-are-inconsistent-with-zf
is asked by a legitimate guy but is another argumentative item, like the P vs NP prrof or the Voevodsky battle. I already voted to close.]]>