DIOPHANTINE SETS OVER POLYNOMIAL RINGS
Abstract
IT IS PROVED THAT EVERY R CURSIVELY ENUMERABLE SET IS Diophantine over a given polynomial ring. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1961
- Accession Number
- AD0260751
Entities
People
- Hilary Putnam
- Martin Davis
Organizations
- New York University