Title of article
Local coherence Original Research Article
Author/Authors
Bernhard K?nig، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
33
From page
107
To page
139
Abstract
We characterize the tree of functions with finite support in terms of definability. This turns out to have various applications: a new kind of tree dichotomy for ω1 on the one hand. On the other hand, we prove a reflection principle for trees on ω2 under SPFA. This reflection of trees implies stationary reflection.
Keywords
Coherent trees , reflection principles , Aronszajn-trees
Journal title
Annals of Pure and Applied Logic
Serial Year
2003
Journal title
Annals of Pure and Applied Logic
Record number
889925
Link To Document