Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁.

Benjamin Claverie Ralf Schindler

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

Keyphrases

knowledge base
inference rules
first order logic
partial order
partially ordered
database
genetic algorithm
e learning
web services
special case
logic programs
action theories