Pages that link to "Item:Q2922495"
From MaRDI portal
The following pages link to Forcing for hat inductive definitions in arithmetic (Q2922495):
Displaying 2 items.
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)