17:30
What is model theory behind homomorphic encryption and black box algebra?
Abstract
Using some new results in probabilistic recognition of black box groups
(Joint work with Sukru Yalcinkaya), I will discuss some emerging
structures that beg for a model-theoretic analysis.