Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic.

Ermek S. Nurkhaidarov Erez Shochat

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

mathematical model
high level
prior knowledge
computational model
statistical model
cellular automata
information retrieval
objective function
probabilistic model
management system
supply chain
conceptual model
sensitivity analysis
object model