Large cardinals and definable well-orders on the universe.

Andrew D. Brooke-Taylor

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

Keyphrases

approximation spaces
transitive closure
real time
rough sets
first order logic
databases
query processing
knuth bendix