14 February 2025, STiHAC Joint Meeting, Peter Holy
Speaker: Peter Holy (Vienna)
Title: Linear orders and dependent choice (without the axiom of choice), and global linear orders without global choice
Date: Friday 14 February 2025
Time: 16:00-18:00
Location: Online via Zoom
For more information, see
https://www.math.uni-hamburg.de/spag/ml/MLSeminar/ML%20Seminar.html.