The following pages link to A relative consistency proof (Q5825661):
Displaying 7 items.
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Predicative foundations of arithmetic (Q1344849) (← links)
- Bernays and Set Theory (Q3616429) (← links)
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Satisfaction relations for proper classes: Applications in logic and set theory (Q5300067) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)
