Galois Groups of First order Theories.

Enrique Casanovas Daniel Lascar Anand Pillay Martin Ziegler

Published in: J. Math. Log. (2001)

Keyphrases

theory revision
first order logic
higher order
databases
logical theories
information systems
decision trees
case study
case based reasoning
computational model
cognitive psychology
action theories