Model constructions in stationary logic. II. Definable ultrapowers.

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

computational model
information systems
high level
management system
theoretical analysis
mathematical model
statistical model
experimental data
similarity measure
multiscale
recommender systems
neural network model
prediction model