Some additive vs. multiplicative issues in subrecursivity, maximality, and near-linearity We deal with three topics around addition without or with multiplication. We first present algorithms to compute a certain real, generating its Beatty sequence or[...]

Assessing the Reverse Mathematical Strength of Gratzer-Schmidt TheoremGratzer-Schmidt theorem in lattice theory states that all complete and compactly generated lattices are isomorphic to the congruence lattice of an algebra. There has been an effort to[...]

I will speak about the recent paper “Condensable models of set theory” by Ali Enayat. The abstract can be found here: https://arxiv.org/abs/1910.04029