Pages that link to "Item:Q1577478"

The following pages link to Functional interpretation of Aczel's constructive set theory (Q1577478):

Displaying 11 items.

• From the weak to the strong existence property (Q448335) (← links)
• A complexity analysis of functional interpretations (Q557798) (← links)
• Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
• A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\) (Q1128184) (← links)
• A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\) (Q1590194) (← links)
• Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory (Q1868168) (← links)
• Constructive Ackermann's interpretation (Q2120969) (← links)
• Inner constructivizability of functional structures (Q2165606) (← links)
• Functional interpretation and the existence property (Q3159413) (← links)
• (Q4981444) (← links)
• Logical problems of functional interpretations (Q5957851) (← links)