On the structure of initial segments of models of arithmetic.
Jan KrajícekPavel PudlákPublished in: Arch. Math. Log. (1989)
Keyphrases
- information systems
- complex systems
- search engine
- hidden variables
- statistical methods
- statistical model
- model selection
- prior knowledge
- artificial intelligence
- maximum likelihood
- parameter estimation
- multi agent systems
- three dimensional
- statistical models
- decision making
- structural information
- bayesian framework
- computational models
- mathematical models
- autoregressive
- accurate models