Pages that link to "Item:Q1302291"

The following pages link to Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291):

Displaying 3 items.

• Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
• Effective versions of local connectivity properties (Q692887) (← links)
• On degree-preserving homeomorphisms between trees in computable topology (Q926174) (← links)