No CrossRef data available.
Article contents
Arithmetic definability by formulas with two quantifiers
Published online by Cambridge University Press: 12 March 2014
Abstract
We give necessary conditions for a set to be definable by a formula with a universal quantifier and an existential quantifier over algebraic integer rings or algebraic number fields. From these necessary conditions we obtain some undefinability results. For example, N is not definable by such a formula over Z. This extends a previous result of R. M. Robinson.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1992