The following pages link to (Q4944901):
Displaying 8 items.
- A realizability interpretation for classical analysis (Q1762729) (← links)
- Using theory interpretation to mechanise the reals in a theorem prover (Q2703760) (← links)
- A Survey of Classical Realizability (Q3007652) (← links)
- (Q3532205) (← links)
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093) (← links)
- Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321) (← links)
- On arithmetically realizable classes (Q4879094) (← links)
- (Q4957786) (← links)