Pages that link to "Item:Q3426575"
From MaRDI portal
The following pages link to A Reduction of the NF consistency Problem (Q3426575):
Displaying 5 items.
- A combinatorial result related to the consistency of New Foundations (Q638501) (← links)
- Increasing sentences in simple type theory (Q2363207) (← links)
- A quasi-lower bound on the consistency strength of PFA (Q3190409) (← links)
- ON THE REDUCTION OF TYPE THEORY (Q3216641) (← links)
- Decreasing sentences in Simple Type Theory (Q5108113) (← links)