A model of second-order arithmetic satisfying AC but not DC.

Sy-David Friedman Victoria Gitman Vladimir Kanovei

Published in: J. Math. Log. (2019)

Keyphrases

computational model
high level
probabilistic model
formal model
database
neural network
prior knowledge
cost function
probability distribution
statistical model
data mining
information systems
image sequences
objective function
conceptual model
prediction model