Pages that link to "Item:Q1128184"

The following pages link to A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\) (Q1128184):

Displaying 2 items.

• Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
• Logical problems of functional interpretations (Q5957851) (← links)