works on
algorithmic group theory 1equalizer 1finite-state transducers 1free groups 1post correspondence problem 1undecidability 1

From the 1 of 13 linked papers with an AI index.

activity
20242026
collaborators
Showing math.COShow all

1 paper · 1 filter

math.CO2025

On supratopologies, normalized families and Frankl conjecture

André Carvalho, António Machiavelo

We introduce some generalized topological concepts to deal with union-closed families, and show that one can reduce the proof of Frankl's conjecture to some families of so-called s…