Proper forcing, cardinal arithmetic, and uncountable linear orders.

Justin Tatch Moore

Published in: Bull. Symb. Log. (2005)

Keyphrases

arithmetic operations
closed form
machine learning
linear constraints
three dimensional
case study
knowledge base
face recognition
multi agent
data structure
expert systems
multiresolution
social networks
floating point
search engine
simple linear
neural network