The following pages link to Church's thesis without tears (Q3043140):
Displaying 7 items.
- Metric spaces in synthetic topology (Q651311) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Parametric Church's thesis: synthetic computability without choice (Q2151397) (← links)
- Continuity and nondiscontinuity in constructive mathematics (Q3984410) (← links)
- Continuity properties in constructive mathematics (Q4032642) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)
