123 citations · 583 across the 42 of their papers we have counts for
1 paper · 1 filter
Tom Leinster, Maia Woolf
A hard theorem of Givant classifies the finitary algebraic theories for which every algebra is free. From it, one easily deduces that all such theories are minimal (adding any furt…