collaborators

1 paper

math.LO2019

Equivalents of the finitary non-deterministic inductive definitions

Ayana Hirata, Hajime Ishihara, Tatsuji Kawai +1

We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of construc…