Infinite-dimensional Jonsson algebras
Can you tell the present by knowing the future? That is, can there be a function f:[X]w-->X so that given a sequence <x0,x1,x2,...>, we would have xn=f(xn+1,xn+2,xn+3,....) for (almost) all n?
This type of problems was considered by Galvin, Erdos-Hajnal, Prikry, and Solovay in the 1960's and 1970's, and regained interest more recently in the study of generalized hat problems.
Tomer's talk will present this line of research.