vix.ing · top · new · best · stats · spec

Variants of Robinson's essentially undecidable theoryR

1983/12/01 by James P. Jones, J. C. Shepherdson, John C. Shepherdson · 1 citation
Mathematics · #Algebra over a field #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Axiom #Bar (unit) #Combinatorics #Commutative Algebra and Its Applications #Decidability #Discrete mathematics #Geometry #Mathematics #Pure mathematics #Undecidable problem

paper · doi:10.1007/bf02023013

crossref issued 1983/12/01 · crossref published 1983/12/01 · crossref published-print 1983/12/01 · openalex publication_date 1983/12/01 · crossref created 2005/08/12 · crossref deposited 2019/05/13 · openalex created_date 2025/10/10 · crossref indexed 2026/03/02 · openalex updated_date 2026/07/23

Citations

Cited by