Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers.
Ur Ya'arPublished in: Ann. Pure Appl. Log. (2024)
Keyphrases
- computational model
- theoretical framework
- probabilistic model
- statistical model
- formal model
- experimental data
- high level
- mathematical model
- database
- linear model
- parameter estimation
- autoregressive
- computational models
- bayesian framework
- multiscale
- case study
- decision trees
- information systems
- genetic algorithm
- neural network
- real time