ContributionEffective properties of sets and functions in metric spaces with computability structure
Under an Elsevier user license
open archive
Keywords
Metric space
Computability structure
Effective σ-compactness
Computable function
Effective Tietze's extension theorem
Cited by (0)
Copyright © 1999 Published by Elsevier B.V.