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

1. On a Rice theorem for dynamical properties of SFTs on groups
   2024/01/18 by Carrasco-Vargas, Nicanor · 3 citations
   #03D30 #37B10 #37M99 #68Q17 #Combinatorics (math.CO) #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Group Theory (math.GR) #Information Theory (cs.IT) #Logic (math.LO)
2. On the Weihrauch degree of the additive Ramsey theorem
   2023/01/07 by Pauly, Arno, Pradic, Cécilia, Solda, Giovanni · 1 citation
   #03B30 #03D30 #03D78 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. A note on reduction of tiling problems
   2022/11/14 by Meyerovitch, Tom, Sanadhya, Shrey, Solomon, Yaar · 1 citation
   #03B25 #03D30 #05B45 #52C22 #52C23 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
4. The Wadge order on the Scott domain is not a well-quasi-order
   2019/02/25 by Duparc, Jacques, Vuilleumier, Louis · 1 citation
   #03B70 #03D30 #03E15 (Primary) #54H05 #68Q15 (Secondary) #FOS: Mathematics #Logic (math.LO)
5. Combinatorial principles equivalent to weak induction
   2018/12/24 by Davis, Caleb, Hirschfeldt, Denis R., Hirst, Jeffry L. +3 · 1 citation
   #03B30 #03D30 #03F35 #FOS: Mathematics #Logic (math.LO)
6. Point degree spectra of represented spaces
   2014/05/27 by Kihara, Takayuki, Pauly, Arno · 2 citations
   #03D30 #03D78 #46J10 #54F45 #54H05 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO) #Logic in Computer Science (cs.LO)
7. Infinite Time Turing Machines
   1998/08/21 by Joel David Hamkins, Andy Lewis, Hamkins, Joel David +1 · 3 citations
   Mathematics · #03D30 #03D60 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03D30 #msc:03D60