Pages that link to "Item:Q3734400"
From MaRDI portal
The following pages link to Church's thesis, continuity, and set theory (Q3734400):
Displayed 7 items.
- Large sets in intuitionistic set theory (Q796524) (← links)
- On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis (Q1102283) (← links)
- Effective inseparability in a topological setting (Q1923565) (← links)
- CZF does not have the existence property (Q2637709) (← links)
- (Q5094901) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Representations versus numberings: On the relationship of two computability notions (Q5958133) (← links)