Removing Laver functions from supercompactness arguments.

Arthur W. Apter

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

Keyphrases

website
evolutionary algorithm
basis functions
real time
databases
neural network
information retrieval
similarity measure
data structure
video sequences
artificial neural networks
control system
management system