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

Rossegger, Dino

  1. 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
  2. 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)