A new proof of Ajtai's completeness theorem for nonstandard finite structures.

Published in: Arch. Math. Log. (2015)

Keyphrases

interactive theorem proving
decision trees
real time
neural network
artificial intelligence
complete axiomatization
databases
real world
information retrieval
computer vision
data structure
von neumann
unit length
equational theories