The arithmetic and Turing degrees are not elementarily equivalent.

Richard A. Shore

Published in: Arch. Math. Log. (1984)

Keyphrases

machine intelligence
multiscale
database
artificial intelligence
database systems
management system
floating point