Pages that link to "Item:Q2085582"

The following pages link to \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582):

Displaying 2 items.

• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
• Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)