vix.ing · top · new · best · stats · spec

1. New definitions in the theory of Type 1 computable topological spaces
   2023/11/27 by Emmanuel Rauzy, Rauzy, Emmanuel · 1 citation
   Computer Science · #03D45 #03D78 #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
2. Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms
   2022/06/16 by Qian, Long, Weilacher, Felix · 1 citation
   #03D45 #05C70 (Primary) 03E15 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
3. Computable paradoxical decompositions
   2022/03/15 by Duda, Karol, Ivanov, Aleksander · 2 citations
   #03D45 #20F10 #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO)
4. Computable analysis on the space of marked groups
   2021/11/01 by Emmanuel Rauzy, Rauzy, Emmanuel · 1 citation
   Computer Science · Mathematics · #03D45 #20F05 #20F10 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO) #semigroups and automata theory
5. Computing the exponent of a Lebesgue space
   2019/12/30 by McNicholl, Timothy H. · 1 citation
   #03D45 #03D78 #FOS: Mathematics #Logic (math.LO)
6. Calibrating word problems of groups via the complexity of equivalence relations
   2016/09/12 by Nies, André, Sorbi, Andrea · 1 citation
   #03D45 #FOS: Mathematics #Logic (math.LO)