scientific article; zbMATH DE number 943183
From MaRDI portal
zbMath0856.03046MaRDI QIDQ4714764
Publication date: 7 November 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
oracle Turing machinecomputable compact subsets of \(\mathbb{R}^ n\)computable open subsetseffective separation axioms
Constructive and recursive analysis (03F60) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)
Related Items
Computability on subsets of Euclidean space. I: Closed and compact subsets, Computability structure of the Sobolev spaces and its applications