Concepedia

THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS

Raphael M. Robinson

Mathematical logic quarterly · 1964 · 29 citations · 1 references

DOI

Concepts

References

1

Definability and decision problems in arithmetic

Julia Robinson · Journal of Symbolic Logic · 1949 · 325 citations

, , +11