Critical points in an algebra of elementary embeddings — mentioned by cevi

Sat, 11 Jan 2025 20:34:55 GMT

There are plenty of mathematicians - mostly set theorists - who are actively working on finding new axioms of mathematics to resolve questions which can'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's position on the subject.) I suggest reading Kanamori's book [3] if you want to learn more about this direction.…

Paper and discussion history. A mention is not an endorsement.

Critical points in an algebra of elementary embeddings · HackerPapers discussions

Critical points in an algebra of elementary embeddings — mentioned by cevi