The FAN principle and weak König's lemma in herbrandized second-order arithmetic.

Fernando Ferreira

Published in: Ann. Pure Appl. Log. (2020)

Keyphrases

higher order
clustering algorithm
arithmetic operations
neural network
information systems
knowledge base
pairwise
hidden markov models
high order
fourth order
directional derivatives