Compactness and independence in non first order frameworks.

Itay Ben-Yaacov

Published in: Bull. Symb. Log. (2005)

Keyphrases

higher order
first order logic
stochastic dominance
data sets
real time
neural network
web services
case study
database systems
artificial neural networks
horn clauses
quantifier elimination