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

by Andrej Bauer , Alex Simpson
Venue:Mathematical Logic Quarterly
Citations:6 - 1 self