F. Doria

activity

19982019

most citedOn a total function which overtakes all total recursive functions

1 citations · 3 across the 6 of their papers we have counts for

collaborators

Showing 2000Show all

1 paper · 1 filter

math.LO2000★ 1 cited

On the consistency of $P = N P$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment

N. C. A. da Costa, F. A. Doria

We formulate the $P < N P$ hypothesis in the case of the satisfiability problem as a $Π_{2}^{0}$ sentence, out of which we can construct a partial recursive function $f_{\neg A}$ so that…

On the consistency of P=NP with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment

On the consistency of $P = N P$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment