Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1]

@article{Ono1979UndecidabilityOT,
  title={Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1]},
  author={Hiroakira Ono and Akira Nakamura},
  journal={J. Comput. Syst. Sci.},
  year={1979},
  volume={18},
  pages={243-253}
}
BETA

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…