首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Model-theoretic applications of cofinality spectrum problems
Authors:Maryanthe Malliaris  Saharon Shelah
Institution:1.Department of Mathematics,University of Chicago,Chicago,USA;2.Mathematical Sciences Research Institute,Berkeley,USA;3.Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram,The Hebrew University of Jerusalem,Jerusalem,Israel;4.Department of Mathematics, Hill Center - Busch Campus Rutgers,The State University of New Jersey,Piscataway,USA
Abstract:We apply the recently developed technology of cofinality spectrum problems to prove a range of theorems in model theory. First, we prove that any model of Peano arithmetic is λ-saturated iff it has cofinality ≥ λ and the underlying order has no (κ, κ)-gaps for regular κ < λ. We also answer a question about balanced pairs of models of PA. Second, assuming instances of GCH, we prove that SOP 2 characterizes maximality in the interpretability order ?*, settling a prior conjecture and proving that SOP 2 is a real dividing line. Third, we establish the beginnings of a structure theory for NSOP 2, proving that NSOP 2 can be characterized by the existence of few so-called higher formulas. In the course of the paper, we show that ps = ts in any weak cofinality spectrum problem closed under exponentiation (naturally defined). We also prove that the local versions of these cardinals need not coincide, even in cofinality spectrum problems arising from Peano arithmetic.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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