7 citations · 15 across the 8 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2019
Finitely Supported Sets Containing Infinite Uniformly Supported Subsets
Andrei Alexandru, Gabriel Ciobanu
The theory of finitely supported algebraic structures represents a reformulation of Zermelo-Fraenkel set theory in which every construction is finitely supported according to the a…
math.LO2019
Infinities within Finitely Supported Structures
Andrei Alexandru, Gabriel Ciobanu
The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic la…