Rossegger, Dino
- The structural complexity of models of arithmetic
2022/08/02 by Antonio Montalbán, Dino Rossegger, Montalbán, Antonio +1 · 2 citations
Computer Science · #03C62 #03E15 #03H15 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
- The Borel complexity of the class of models of first-order theories
2024/02/15 by Uri Andrews, Andrews, Uri, David González G. +7 · 1 citation
Mathematics · #03C52 #03C62 #03E15 #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO)