Login / Signup

Second order arithmetic as the model companion of set theory.

Giorgio VenturiMatteo Viale
Published in: Arch. Math. Log. (2023)
Keyphrases
  • probabilistic model
  • set theory
  • information retrieval
  • artificial neural networks
  • image analysis
  • co occurrence
  • high order
  • decision theoretic