Implicit Definability in Arithmetic.

Stephen G. Simpson

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

fixed point
propositional logic
regular expressions
floating point
arithmetic operations
decision making
computational complexity
domain knowledge