The following pages link to Church's thesis without tears (Q3043140):
Displaying 9 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)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)
- An analysis of Tennenbaum's theorem in constructive type theory (Q6563042) (← links)
