- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Local coherence
Annals of Pure and Applied Logic 124 (1-3):107-139 (2003)
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 reflectionOther Versions
No versions found
My notes
Similar books and articles
The German vorfeld and local coherence.Katja Filippova & Michael Strube - 2007 - Journal of Logic, Language and Information 16 (4):465-485.
A putative role for transient local coherence in cognitive function.Don Krieger - 1990 - Behavioral and Brain Sciences 13 (1):167-167.
A test of central coherence theory: linguistic processing in high-functioning adults with autism or Asperger syndrome: is local coherence impaired?Therese Jolliffe & Simon Baron-Cohen - 1999 - Cognition 71 (2):149-185.
Essential Kurepa trees versus essential Jech–Kunen trees.Renling Jin & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):107-131.
Aronszajn trees, square principles, and stationary reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
Generic compactness reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
Bounded forcing axioms and the continuum.David Asperó & Joan Bagaria - 2001 - Annals of Pure and Applied Logic 109 (3):179-203.
Can a small forcing create Kurepa trees.Renling Jin & Saharon Shelah - 1997 - Annals of Pure and Applied Logic 85 (1):47-68.
A forcing axiom for a non-special Aronszajn tree.John Krueger - 2020 - Annals of Pure and Applied Logic 171 (8):102820.
Analytics
Added to PP
2014-01-16
Downloads
29 (#783,606)
6 months
8 (#613,944)
2014-01-16
Downloads
29 (#783,606)
6 months
8 (#613,944)
Historical graph of downloads
Citations of this work
Knaster and Friends III: Subadditive Colorings.Chris Lambie-Hanson & Assaf Rinot - 2023 - Journal of Symbolic Logic 88 (3):1230-1280.
Kurepa trees and Namba forcing.Bernhard König & Yasuo Yoshinobu - 2012 - Journal of Symbolic Logic 77 (4):1281-1290.
References found in this work
Aronszajn trees and the independence of the transfer property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21.
A new class of order types.James E. Baumgartner - 1976 - Annals of Mathematical Logic 9 (3):187-222.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Canonical models for ℵ1-combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
Jensen's □ principles and the Novak number of partially ordered sets.Boban Veličković - 1986 - Journal of Symbolic Logic 51 (1):47-58.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-72rpk uwo