Boolean-valued Models as a Foundation for Locally L0-Convex Analysis and Conditional Set Theory. - Antonio Avilés; José Miguel Zapata (FLAP, 2018)