A theorem and some consistency results in partition calculus.

Saharon Shelah Lee J. Stanley

Published in: Ann. Pure Appl. Log. (1987)

Keyphrases

qualitative spatial and temporal reasoning
distributed systems
constraint satisfaction problems
constraint networks
database
neural network
machine learning
information retrieval
real numbers
global consistency
von neumann
partitioning algorithm
interval algebra
database query languages