Title: Pointwise definable and Leibnizian models of arithmetic and set theory, realized in end extensions of a given model
College of Science
Title: Pointwise definable and Leibnizian models of arithmetic and set theory, realized in end extensions of a given model