Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.

Bruno Dinis Fernando Ferreira

Published in: Math. Log. Q. (2017)

Keyphrases

arithmetic operations
theoretical framework
johnson lindenstrauss
domain knowledge
floating point
database
neural network
decision making
similarity measure
user interface
knowledge management
mathematical models
domain theory
cognitive psychology
formal models
design theory