@misc{indiciaece04d8a7ce96,
  title = {On the existence of certain total recursive functions in nontrivial axiom systems, I},
  author = {N. C. A. da Costa and F. A. Doria},
  year = {1998},
  url = {https://arxiv.org/abs/cmp-lg/9804005},
  note = {Source identifier: cmp-lg/9804005}
}