Tapani Hyttinen

1. Generalized Descriptive Set Theory and Classification Theory
   2012/07/18 by Sy‐David Friedman, Tapani Hyttinen, Friedman, Sy-David +3 · 4 citations
   Computer Science · Mathematics · #03E15 #03E35 #03E47 #54H05 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Topological and Geometric Data Analysis
2. An AEC framework for fields with commuting automorphisms
   2019/04/24 by Tapani Hyttinen, Kaisa Kangas, Hyttinen, Tapani +1 · 1 citation
   Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #Polynomial and algebraic computation
3. On Second-order Characterizability
   2012/08/25 by Tapani Hyttinen, Kaisa Kangas, Hyttinen, Tapani +3 · 1 citation
   Computer Science · Mathematics · #03B15 #03C85 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis