The following pages link to The predicative Frege hierarchy (Q2271986):
Displaying 10 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- 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)
- Friedman-reflexivity (Q2159935) (← 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)
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690) (← links)
- Finitely axiomatized theories lack self‐comprehension (Q6051417) (← links)
