Semi-classical principles
(LLPO)

added to the hierarchy on Sunday 15th

added to the hierarchy on Sunday 15th

lS0n-LLPO~{!!~}(Lesser Limited
Principles of Omniscience):

**(not (A and B) )**~{!z~}** not A** **or not B**

for S0n-formula~{!!~}**A, B**.

for S0n-formula~{!!~}

S01-LLPO: **P, Q** are recurive

lP0n-LLPO is defined similarly