Login / Signup
Pointwise definable substructures of models of Peano arithmetic.
Roman Murawski
Published in:
Notre Dame J. Formal Log. (1988)
Keyphrases
</>
pointwise
model selection
weighted sum
decision trees