Article contents
A computable ℵ0-categorical structure whose theory computes true arithmetic
Published online by Cambridge University Press: 12 March 2014
Abstract
We construct a computable ℵ0-categorical structure whose first order theory is computably equivalent to the true first order theory of arithmetic.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2010
References
REFERENCES
- 3
- Cited by