Kangas, Kaisa

1. An AEC framework for fields with commuting automorphisms
   2019/04/24 by Tapani Hyttinen, Hyttinen, Tapani, Kaisa Kangas +1 · 1 citation
   Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems #Polynomial and algebraic computation
2. On Second-order Characterizability
   2012/08/25 by Tapani Hyttinen, Kaisa Kangas, Hyttinen, Tapani +4 · 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 #math.LO #msc:03B15 #msc:03C85