The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality

Leszek Pacholski Wieslaw Szwast

Published in: FOCS (1989)

Keyphrases

higher order
function symbols
machine learning
query answering
decision trees
natural language
logic programs
fixpoint