On the Role of Ramsey Quantifiers in First Order Arithmetic.

James H. Schmerl Stephen G. Simpson

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

Keyphrases

first order logic
higher order
quantifier free
machine learning
real time
knowledge representation
special case
arithmetic operations
horn clauses
temporal logic
probabilistic model
multiresolution
natural language
case study
decision trees
neural network
data sets