Some supplements to Feferman-Vaught related to the model theory of adeles.
Jamshid DerakhshanAngus MacintyrePublished in: Ann. Pure Appl. Log. (2014)
Keyphrases
- mathematical model
- formal model
- theoretical framework
- probabilistic model
- general theory
- computational model
- objective function
- high level
- statistical model
- closed form
- database
- evolutionary algorithm
- empirical data
- network model
- conceptual framework
- data sets
- theoretical foundation
- conceptual model
- data mining
- process model
- machine learning
- parameter estimation
- prior knowledge