Pages that link to "Item:Q1590194"
From MaRDI portal
The following pages link to A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\) (Q1590194):
Displaying 7 items.
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\) (Q1128184) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\) (Q2921035) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
- Logical problems of functional interpretations (Q5957851) (← links)
