Proceedings of the American Mathematical Society · 1959 · 16 citations · 2 references
Natural SciencesComputer ScienceMathematicsAlgebraFormal MethodsAbstract AlgebraAlgebraic GeometryAlgebraic StructuresCommutative AlgebraGalois TheoryLocal FieldsFinite Field ArithmeticFinite Field ComputationUndecidability
2
Definability and decision problems in arithmetic
Julia Robinson · Journal of Symbolic Logic · 1949 · 325 citations