Joost J. Joosten

1. Turing jumps through provability
   2015/01/21 by Joost J. Joosten, Joosten, Joost J. · 2 citations
   Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #semigroups and automata theory
2. Models of transfinite provability logic
   2012/04/21 by David Fernández–Duque, Joost J. Joosten, Fernández-Duque, David +1 · 1 citation
   Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
3. Hyperations, Veblen progressions and transfinite iterations of ordinal\n functions
   2012/05/09 by David Fernández–Duque, Joost J. Joosten, Fernández-Duque, David +1 · 1 citation
   Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Combinatorial Mathematics #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #semigroups and automata theory