Hierarchies of forcing Axioms, the continuum Hypothesis and square Principles.

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

Keyphrases

knowledge base
feature extraction
mobile robot
databases
bayesian networks
multi agent
multi agent systems
object oriented
theoretical framework
first order logic
hierarchical structure
axiomatic characterization