Iterated elementary embeddings and the model theory of infinitary logic.

John T. Baldwin Paul B. Larson

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

computational model
theoretical framework
conceptual framework
mathematical model
mathematical models
formal model
theoretical foundation
high level
probabilistic model
cost function
parameter estimation
input data
computational models
multi agent systems
genetic algorithm
decision theory
general theory