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

Pauly, Arno

  1. 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)
  2. 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)
  3. Enumeration degrees and non-metrizable topology
    2019/04/08 by Takayuki Kihara, Keng Meng Ng, Kihara, Takayuki +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
  4. The descriptive theory of represented spaces
    2014/08/22 by Arno Pauly, Pauly, Arno · 1 citation
    Computer Science · Mathematics · #03E15 #18B25 #26A21 #54H05 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO) #Logic in Computer Science (cs.LO) #Mathematical and Theoretical Analysis
  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. 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)
  7. More on the indivisibility of ℚ
    2024/07/04 by Arno Pauly, Pauly, Arno · 1 citation
    Computer Science · Mathematics · #03D30 #05C55 #Algebraic Geometry and Number Theory #Coding theory and cryptography #Combinatorics (math.CO) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Polynomial and algebraic computation