Pages that link to "Item:Q5396961"

The following pages link to Independence of the uniformity principle from Church's thesis in intuitionistic set theory (Q5396961):

Displaying 1 item.

• Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)