A Formalization of Forcing and the Unprovability of the Continuum Hypothesis.

Jesse Michael Han Floris van Doorn

Published in: ITP (2019)

Keyphrases

real time
artificial intelligence
knowledge representation
information technology
trade off
multiresolution
data sets
image processing
multimedia
database systems
multiscale
data structure
formal analysis