A Borel reductibility theory for classes of countable structures 论文

1989Journal of Symbolic Logic引用 272
Advanced Topology and Set TheoryComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge

A Borel reductibility theory for classes of countable structures · 相关技术