The following pages link to Forcing in Proof Theory (Q4678943):
Displaying 9 items.
- 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)
- Provably recursive functions of constructive and relatively constructive theories (Q964451) (← links)
- Partially definable forcing and bounded arithmetic (Q2257103) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Forcing for hat inductive definitions in arithmetic (Q2922495) (← links)
- Finitely axiomatized theories lack self‐comprehension (Q6051417) (← links)
- Forcing revisited (Q6096804) (← links)
