The strength of the Tree Theorem for Pairs in Reverse Mathematics.

Published in: J. Symb. Log. (2016)

Keyphrases

tree structure
computer science
tree models
binary tree
index structure
pairwise
computer algebra
multi dimensional
database systems
search engine
statistically significant
b tree
tree structures
tree search
artificial intelligence
von neumann
tree construction
neural network
database