Zum Inhalt springen

100 years of Zermelo’s axiom of choice: What was the problem with it?

This is a recent Agda formalization of a 2006 paper by Martin-Löf.

Comments

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert