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)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.