发表机构
Cornell University; University of Toronto; Institut de Mathématiques de Jussieu; Matematički Institut, SANU（康奈尔大学; 多伦多大学; 儒勒·让苏数学研究所; 塞尔维亚科学与艺术研究院数学研究所）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文研究Aronszajn树的结构定理对力迫公理的需求，证明MA(ℵ₁)足以保证存在2^ℵ₁棵两两非同构的相干A-树。
AI 中文摘要
我们研究了关于Aronszajn树的结构结果中哪些需要真力迫公理，哪些仅需要马丁公理MA(ℵ₁)。特别地，我们证明了MA(ℵ₁)与存在2^ℵ₁棵两两非同构于club的相干A-树是一致的。
英文摘要
We study which structural results about Aronszajn trees require the Proper Forcing Axiom and which require only MA(aleph1). In particular, we show that MA(aleph1) is consistent with the existence of 2^aleph1 pairwise non-club-isomorphic coherent A-trees.
Comments10 pages. Comments welcome
