Martin's Axiom and the Continuum.

Haim Judah Andrzej Roslanowski

Published in: J. Symb. Log. (1995)

Keyphrases

inference rules
modal logic
black and white
database
multiscale
video sequences
active learning
computer systems
sensor networks
text classification
first order logic
digital imaging