The Consistency Strength of Successive Cardinals with The Tree Property.

Matthew Foreman Menachem Magidor Ralf-Dieter Schindler

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

Keyphrases

global consistency
convex constraints
tree structure
tree search
index structure
r tree
binary tree
tree nodes
desirable properties
real time
spanning tree
tree models
tree construction
tree structures
search algorithm
information systems
genetic algorithm
neural network