Ultrafilter extensions do not preserve elementary equivalence.

Denis I. Saveliev Saharon Shelah

Published in: Math. Log. Q. (2019)

Keyphrases

efficient implementation
website
special case
neural network
real world
natural language
evolutionary algorithm
default logic
graph kernels