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

1. Computability in Dynamical Systems
   2023/11/07 by Michael Burr, Christian Wolf, Burr, Michael +1 · 1 citation
   Computer Science · Mathematics · #03D15 #03D80 #37A35 #37B12 #37F10 #Cellular Automata and Applications #Computability, Logic, AI Algorithms #Dynamical Systems (math.DS) #FOS: Mathematics #Mathematical Dynamics and Fractals
2. Conservation Strength of The Infinite Pigeonhole Principle for Trees
   2021/10/12 by Chong, Chitat, Wang, Wei, Yang, Yue · 1 citation
   #03D80 #03F35 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO) #Primary 03B30 #Secondary 05D10
3. The combinatorial equivalence of a computability theoretic question
   2020/12/25 by Liu, Lu · 1 citation
   #03D32 #03D80 #68Q30 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
4. Computability in Harmonic Analysis
   2020/11/19 by Binder, Ilia, Glucksam, Adi, Rojas, Cristobal +1 · 1 citation
   #03D80 #30C85 #31A15 #Classical Analysis and ODEs (math.CA) #Complex Variables (math.CV) #FOS: Mathematics #Logic (math.LO)
5. Milliken's tree theorem and its applications: a computability-theoretic perspective
   2020/07/19 by d'Auriac, Paul-Elliot Anglès, Cholak, Peter A., Dzhafarov, Damir D. +2 · 1 citation
   #03D80 #03E05 #05D10 #FOS: Mathematics #Logic (math.LO)
6. Overt choice
   2019/02/14 by Matthew de Brecht, Arno Pauly, de Brecht, Matthew +3 · 2 citations
   Computer Science · Mathematics · #03D80 #54D55 #54H99 #Advanced Banach Space Theory #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)
7. On the computability of rotation sets and their entropies
   2017/06/24 by Burr, Michael, Schmoll, Martin, Wolf, Christian · 2 citations
   #03D15 Secondary 37B10 #03D80 #37E45 #37L40 #Dynamical Systems (math.DS) #FOS: Mathematics #Primary 37D35
8. Thurston equivalence to a rational map is decidable
   2010/09/28 by Bonnot, Sylvain, Braverman, Mark, Yampolsky, Michael · 1 citation
   #03D80 #37F20 #Dynamical Systems (math.DS) #FOS: Mathematics #Geometric Topology (math.GT) #Logic (math.LO)