7 citations · 22 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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…
math.LO2024
Learning Families of Algebraic Structures from Text
Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger +2
We adapt the classical notion of learning from text to computable structure theory. Our main result is a model-theoretic characterization of the learnability from text for classes…