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Π 3 0 andΠ 4 0 independence results.