A Model of Peano Arithmetic with no Elementary End Extension.

Published in: J. Symb. Log. (1978)

Keyphrases

probabilistic model
computational model
hybrid model
multiscale
artificial neural networks
theoretical analysis
data sets
simulation model
conceptual model
mathematical model
floating point
network model
formal model
model checking
statistical model
data model
high level
computer vision