Takayuki Kihara
- Enumeration degrees and non-metrizable topology
2019/04/08 by Takayuki Kihara, Kihara, Takayuki, Keng Meng Ng +3 · 2 citations
Computer Science · Mathematics · #03D28 #54A05 #54D10 #54G20 #54H05 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO) #Logic in Computer Science (cs.LO) #semigroups and automata theory
- Degree spectra of homeomorphism types of compact Polish spaces
2020/04/15 by Mathieu Hoyrup, Hoyrup, Mathieu, Takayuki Kihara +3 · 2 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)