A theorem on partial conservativity in arithmetic.

Published in: J. Symb. Log. (2011)

Keyphrases

partial information
floating point
real time
data sets
databases
database systems
wide range
probabilistic model
von neumann
arithmetic operations
digital topology