相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。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)