Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory.
Dominik KirstGert SmolkaPublished in: J. Autom. Reason. (2019)
Keyphrases
- computational model
- management system
- mathematical model
- theoretical framework
- probability distribution
- theoretical foundation
- statistical model
- formal model
- probabilistic model
- hierarchical structure
- model selection
- theoretical models
- process model
- case study
- graphical models
- higher order
- least squares
- cost function
- similarity measure