Definability of the ring of integers in some infinite algebraic extensions of the rationals.

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

Keyphrases

algebraic structure
real numbers
propositional logic
fixed point
default logic
floating point
neural network
efficient implementation
default theories
algebraic operators
real time
data mining
information systems
case study
higher order
integer arithmetic