The following pages link to The predicative Frege hierarchy (Q2271986):
Displaying 18 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)
- Subject-predicate calculus free from existential import (Q800907) (← links)
- Relevant predication. I: The formal theory (Q1099150) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← 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)
- Zur Axiomatik der Friedmanschen Theorie der Prädikate (Q3677738) (← links)
- Predicative Fragments of Frege Arithmetic (Q4678937) (← links)
- (Q5144695) (← links)
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690) (← links)
- Minimal Categorical System and Predication Theory In Porphyry (Q5365408) (← links)
- Finitely axiomatized theories lack self‐comprehension (Q6051417) (← links)
- Explicit abstract objects in predicative settings (Q6623817) (← links)