The following pages link to The predicative Frege hierarchy (Q2271986):
Displayed 6 items.
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
- The finitistic consistency of Heck's predicative Fregean system (Q2345392) (← links)
- Vaught's Theorem on Axiomatizability by a Scheme (Q2915888) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) (Q3195590) (← links)