Variants of Robinson's essentially undecidable theoryR


Cobham has observed that Raphael Robinson's well known essentially undecidable theory R remains essentially undecidable if the fifth axiom scheme (x < ~ v fi < x) is omitted. We note that whether the resulting system is in a sense "minimal essentially undecidable" depends on what the basic constants are taken to be. We give an essentially undecidable theory… (More)
DOI: 10.1007/BF02023013


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.