Showing math.LOShow all
3 papers · 1 filter
math.LO2025
Dichotomy results for classes of countable graphs
Vittorio Cipriani, Ekaterina Fokina, Matthew Harrison-Trainor +2
We study classes of countable graphs where every member does not contain a given finite graph as an induced subgraph -- denoted by for a given finite g…
math.LO2025
Uniformity in learning structures
Vittorio Cipriani, Dino Rossegger
The standard framework for studying learning problems on algebraic structures assumes that the structures in the target family are pairwise nonisomorphic. Under this assumption, th…
math.LO2024
Feferman's completeness theorem
Fedor Pakhomov, Michael Rathjen, Dino Rossegger
Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of . This result is commonly know…