Definability of the jump operator in the Enumeration Degrees.

Iskander Sh. Kalimullin

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

Keyphrases

propositional logic
real world
fixed point
databases
search space
machine learning
information systems
decision trees
relational databases
evolutionary algorithm
ordered weighted averaging