Martin's Axioms, Measurability and Equiconsistency Results.

Jaime I. Ihoda Saharon Shelah

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

Keyphrases

knowledge base
first order logic
black and white
neural network
data sets
decision making
computer vision
web pages
image processing
cooperative
information technology
multiresolution
probability distribution
horn clauses
derived predicates
complete axiomatization