Bounded forcing axioms as principles of generic absoluteness.

Published in: Arch. Math. Log. (2000)

Keyphrases

knowledge base
first order logic
domain specific
three dimensional
evolutionary algorithm
database
web services
high level
wide range
expert systems
theoretical framework
generic model