Arithmetical definability of field elements

DOI10.2307/2266685zbMath0042.24601OpenAlexW2087374950MaRDI QIDQ5804179

Raphael M. Robinson

Publication date: 1951

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266685

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (5)

Definability in number fields ⋮ Undecidability and Definability for the Theory of Global Fields ⋮ In Memoriam: Raphael Mitchel Robinson ⋮ Probabilistic Recursive Functions ⋮ The Undecidability of Algebraic Rings and Fields

Cites Work

• Definability and decision problems in arithmetic

This page was built for publication: Arithmetical definability of field elements