Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,581,959 papers from all fields of science
Search
Sign In
Create Free Account
Aronszajn tree
Known as:
Aronszajn trees
, Special Aronszajn tree
, Tree property
In set theory, an Aronszajn tree is an uncountable tree with no uncountable branches and no uncountable levels. For example, every Suslin tree is an…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Kurepa tree
König's lemma
Set theory
Suslin tree
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Automatic Functional Correctness Proofs for Functional Search Trees
T. Nipkow
International Conference on Interactive Theorem…
2016
Corpus ID: 693048
In a new approach, functional correctness specifications of insert/update and delete operations on search trees are expressed on…
Expand
2012
2012
The tree property and the failure of the Singular Cardinal Hypothesis at ℵω2
Dima Sinapova
Journal of Symbolic Logic (JSL)
2012
Corpus ID: 3106089
Abstract We show that given ω many supercompact cardinals, there is a generic extension in which the tree property holds at ℵω2…
Expand
2011
2011
Subspaces and quotients of Banach spaces with shrinking unconditional bases
W. Johnson
,
Bentuo Zheng
2011
Corpus ID: 11124344
The main result is that a separable Banach space with the weak* unconditional tree property is isomorphic to a subspace as well…
Expand
2009
2009
A cofinality-preserving small forcing may introduce a special Aronszajn tree
A. Rinot
Archive for Mathematical Logic
2009
Corpus ID: 43382699
It is relatively consistent with the existence of two supercompact cardinals that a special Aronszajn tree of height $${\aleph_…
Expand
2004
2004
A new look at the generalized distributive law
Payam Pakzad
,
V. Anantharam
IEEE Transactions on Information Theory
2004
Corpus ID: 9108033
In this paper, we develop a measure-theoretic version of the junction tree algorithm to compute desired marginals of a product…
Expand
1999
1999
Modal Logics That Need Very Large Frames
M. Kracht
Notre Dame J. Formal Log.
1999
Corpus ID: 27423343
The Kuznetsov–Index of a modal logic is the least cardinal μ such that any consistent formula has a Kripke–model of size ≤ μ if…
Expand
1995
1995
Clustering Without (Thinking About) Triangulation
Denise Draper
Conference on Uncertainty in Artificial…
1995
Corpus ID: 10287511
The undirected technique for evaluating belief networks [Jensen et al., 199Oa, Lauritzen and Spiegelhalter, 1988] requires…
Expand
1994
1994
Consistency of Suslin's hypothesis, a nonspecial Aronszajn tree, and GCH
Chaz Schlindwein
Journal of Symbolic Logic (JSL)
1994
Corpus ID: 44346729
Introduction. In [Sh, Chapter IX], Shelah constructs a model of set theory in which Suslin's hypothesis is true, yet there is an…
Expand
1983
1983
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
P. Clote
,
K. McAloon
Journal of Symbolic Logic (JSL)
1983
Corpus ID: 36914190
We give two new finite combinatorial statements which are independent of Peano arithmetic, using the methods of Kirby and Paris…
Expand
Review
1982
Review
1982
On Aronszajn trees
S. Shelah
1982
Corpus ID: 28588846
This survey describes the contribution of N. Aronszajn to set theory: the construction of an Aronszajn tree. We would like to…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE