7 citations · 7 across the 11 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.LO2025
Definability of some -ary Relations Over Second Order kinds of Logics
Simone Costa, Marco Dalai, Stefano Della Fiore +1
We consider the exprissibility in monadic second order logic of certain relations of importance in computer science. For integers and , a -tuple of sequences…
math.CO2025
Graham's rearrangement for a class of semidirect products
Simone Costa, Stefano Della Fiore, Eva R. Engel
A famous conjecture of Graham asserts that every set can be ordered so that all partial sums are distinct. Bedert and Kravitz proved that…