Project: The Axiom AC in HPL Contact Christine Gaßner , University of Greifswald, gassnerc@uni-greifswald.de Motivation The starting point for this project was a question [...] ACKERMANN (1935) and the well-ordering theorem in second-order logic. To show that the second-order axioms given by HAC are valid in the basic second-order FRAENKEL model, various necessary (mathematical) [...] Rathjen -- Gaßner , Kloster 2024 Rathjen, M.: Contributions to the independence of HAC from WOP, Arbeitstreffen Rathjen -- Gaßner , Leeds & Kloster 2024 Gaßner: AC in HPL. Ein Querschnitt (slides
https://math-inf.uni-greifswald.de/institut/ueber-uns/mitarbeitende/gassner/project-the-axiom-ac-in-hpl/