## Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability

### Cached

### Download Links

- [andrej.com]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [andrej.com]
- [andrej.com]
- DBLP

### Other Repositories/Bibliography

by
Andrej Bauer
,
Alex Simpson

Venue: | Mathematical Logic Quarterly |

Citations: | 6 - 1 self |