The following pages link to (Q4243761):
Displaying 13 items.
- Sets and functions in theoretical physics (Q488350) (← links)
- Functional interpretations of feasibly constructive arithmetic (Q685962) (← links)
- On interpretations of bounded arithmetic and bounded set theory (Q1038653) (← links)
- A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\) (Q1128184) (← links)
- A revision-theoretic analysis of the arithmetical hierarchy (Q1344437) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Constructive Ackermann's interpretation (Q2120969) (← links)
- Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory (Q2836179) (← links)
- Functions definable by numerical set-expressions (Q2844003) (← links)
- (Q3515804) (← links)
- (Q4250050) (← links)
- (Q4981444) (← links)
- (Q5867830) (← links)
