On Homogeneity and Definability in the First-Order Theory of the Turing Degrees.

Richard A. Shore

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

Keyphrases

finite model theory
database theory
fixed point
theoretical basis
data model
first order logic
information theory
databases
neural network
decision making
computational model
theoretical framework
general theory
theory revision