Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman.

Jaap van Oosten

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

Keyphrases

higher order
natural images
high order
pairwise
linear equations
data sets
neural network
information retrieval
case study
optimal solution
multi objective
solution quality