On Potential Embedding and Versions of Martin's Axiom.

Published in: Notre Dame J. Formal Log. (1992)

Keyphrases

inference rules
machine learning
artificial intelligence
social networks
modal logic
data sets
website
vector space
error correction