Computable model theory investigates the algorithmic aspects of model theoretic structures, aiming to delineate the boundaries between the computable and non-computable within various algebraic and ...
This is a preview. Log in through your library . Abstract In previous papers the author has studied the shape of compact connected abelian topological groups. This study has led to a number of ...
SIAM Journal on Applied Mathematics, Vol. 42, No. 5 (Oct., 1982), pp. 941-955 (15 pages) Slepian, Landau and Pollak found that a certain finite convolution integral operator on the real line commutes ...