首页 | 官方网站   微博 | 高级检索  
     


A new Löwenheim-Skolem theorem
Authors:Matthew Foreman   Stevo Todorcevic
Affiliation:Department of Mathematics, University of California, Irvine, California 92697 ; CNRS, Université Paris VII, 2 Place Jussieu, 75251 Paris Cedex 05, Paris, France
Abstract:This paper establishes a refinement of the classical Löwenheim-Skolem theorem. The main result shows that any first order structure has a countable elementary substructure with strong second order properties. Several consequences for Singular Cardinals Combinatorics are deduced from this.

Keywords:
点击此处可从《Transactions of the American Mathematical Society》浏览原始摘要信息
点击此处可从《Transactions of the American Mathematical Society》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号