Large Cardinals and Definable Counterexamples to the Continuum Hypothesis.

Matthew Foreman Menachem Magidor

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

Keyphrases

real time
data analysis
first order logic
data sets
information systems
bayesian networks
multiscale
np complete
hypothesis space