2 citations · 2 across the 1 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
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…