An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated.
Bakhadyr KhoussainovDenis R. HirschfeldtPavel SemukhinPublished in: Notre Dame J. Formal Log. (2006)
Keyphrases
- computational model
- mathematical model
- theoretical framework
- probabilistic model
- formal model
- theoretical foundation
- experimental data
- high level
- cost function
- autoregressive
- mathematical models
- conceptual framework
- management system
- database
- statistical model
- input data
- d objects
- multi agent
- information systems
- information retrieval
- real time