2 citations · 4 across the 2 of their papers we have counts for
2 papers
math.LO2023★ 2 cited
Self-divisible ultrafilters and congruences in
Mauro Di Nasso, Lorenzo Luperi Baglini, Rosario Mennuni +2
We introduce self-divisible ultrafilters, which we prove to be precisely those such that the weak congruence relation introduced by Šobot is an equivalence relation…
math.LO2020★ 2 cited
Boolean valued models, presheaves, and étalé spaces
Moreno Pierobon, Matteo Viale
Boolean valued models for a signature are generalizations of -structures in which we allow the -relation symbols to be interpreted by boolea…