Definable Ultrapowers and Ultrafilters over Admissible Ordinals.

Matt Kaufmann Evangelos Kranakis

Published in: Math. Log. Q. (1984)

Keyphrases

first order logic
state space
knuth bendix
transitive closure
data sets
expert systems
special case
situation calculus