https://hackerpaper.kaipfister.de/p/2411.11568/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=42668719urn:hackerpapers:mention:2411.11568:42668719Sat, 11 Jan 2025 20:34:55 GMT<p>There are plenty of mathematicians - mostly set theorists - who are actively working on finding new axioms of mathematics to resolve questions which can&#x27;t be resolved by ZFC. Projective Determinacy is probably the most important example of a new axiom of mathematics which goes far beyond what can be proved in ZFC, but which has become widely accepted by the experts. (See [1] for some discussion about the arguments in favor of projective determinacy, and [2] for a taste of Steel&#x27;s position on the subject.) I suggest reading Kanamori&#x27;s book [3] if you want to learn more about this direction.…</p><p><a href="https://hackerpaper.kaipfister.de/p/2411.11568/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.LOhttps://news.ycombinator.com/item?id=42493008urn:hackerpapers:submission:2411.11568:42493008Mon, 23 Dec 2024 09:12:11 GMT<p>Large Cardinals, Structural Reflection, and the Hod Conjecture</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2411.11568/">Paper and source history</a>. A submission is not an endorsement.</p>math.LO