Infinitary Analogs of Theorems from First Order Model Theory.
Jerome I. MalitzPublished in: J. Symb. Log. (1971)
Keyphrases
- mathematical model
- computational model
- statistical model
- theoretical framework
- formal model
- probability distribution
- management system
- high level
- theoretical foundation
- computational models
- hidden markov models
- theoretical analysis
- artificial neural networks
- multiscale
- decision trees
- conceptual model
- modal logic
- real time