Functoroids and ptykoids

Abstract

Summary. A type of first-order analogues of ptykes, namely 'ptykoids', are introduced, and bounds are found for the ptykoids of level 1 and 2 which can be proved to be ptykoids in Peano arithmetic. This gives rise to H ° and H4 ° independence results.