A formalization of forcing and the unprovability of the continuum hypothesis.

Jesse Michael Han Floris van Doorn

Published in: CoRR (2019)

Keyphrases

trade off
database
decision making
knowledge representation
formal model
social networks
information systems
three dimensional
database systems
computational complexity
probabilistic model
probability distribution
operational semantics
medical expert system