Title: Pointwise definable and Leibnizian models of arithmetic and set theory, realized in end extensions of a given model
Logic Seminar: Joel Hamkins - University of Notre Dame
College of Science
College of Science
Title: Pointwise definable and Leibnizian models of arithmetic and set theory, realized in end extensions of a given model