Ultraproducts 章节 发表日期： 2024年 查看全文 David Marker 摘要 The ultraproduct construction is introduced and used to give an alternative proof of the Compactness Theorem.
