Related references
Note: Only part of the references are listed.Operator algebras with hyperarithmetic theory
Isaac Goldbring et al.
JOURNAL OF LOGIC AND COMPUTATION (2021)
COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
Matthew Harrison-Trainor et al.
JOURNAL OF SYMBOLIC LOGIC (2020)
Degrees of and lowness for isometric isomorphism
Johanna N. Y. Franklin et al.
JOURNAL OF LOGIC AND ANALYSIS (2020)
UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES
Noam Greenberg et al.
JOURNAL OF SYMBOLIC LOGIC (2018)
Index Sets for n-Decidable Structures Categorical Relative to m-Decidable Presentations
E. B. Fokina et al.
ALGEBRA AND LOGIC (2015)
CAN YOU COMPUTE THE OPERATOR NORM?
Tobias Fritz et al.
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY (2014)
COMPUTABLY ISOMETRIC SPACES
Alexander G. Melnikov
JOURNAL OF SYMBOLIC LOGIC (2013)
Model theoretic forcing in analysis
Itai Ben Yaacov et al.
ANNALS OF PURE AND APPLIED LOGIC (2009)