Interpreting Arithmetic in the First-order Theory of Addition and Coprimality of Polynomial Rings.

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

Keyphrases

quantifier free
first order logic
theoretical framework
real time
neural network
information systems
polynomial size
quantifier elimination
algebraic geometry
higher order
cellular automata
information theory
theoretical basis
rewrite systems