On first-order sentences without finite models.

Marko Djordjevic

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

Keyphrases

probabilistic model
statistical models
experimental data
computational models
prior knowledge
higher order