Build your own clarithmetic I: Setup and completeness

@inproceedings{Japaridze2015BuildYO,
  title={Build your own clarithmetic I: Setup and completeness},
  author={Giorgi Japaridze},
  year={2015}
}
Clarithmetics are number theories based on computability logic. Formulas of these theories represent interactive computational problems, and their “truth” is understood as existence of an algorithmic solution. Various complexity constraints on such solutions induce various versions of clarithmetic. The present paper introduces a parameterized/schematic… CONTINUE READING