The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a condition in the relevant generic filter. We show that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma ca...

–a notion of amenability for topological semigroups is introduced. a topological semigroup s iscalled johnson amenable if for every banach s -bimodule e , every bounded crossed homomorphism froms to e* is principal. in this paper it is shown that a discrete semigroup s is johnson amenable if and only if1(s) is an amenable banach algebra. also, we show that if a topological semigroup s is johns...

In this paper, we will define and study amenability of Hopf C-algebras as well as Fourier duality. 1991 AMS Mathematics Classification number: 46L55, 46L05

By studying the so-called traveling salesman groups, we obtain a new metric criterion for non-amenability. As an application, we give a new and very short proof of non-amenability of free Burnside groups with sufficiently big odd exponent. Amenable groups have been introduced by John von Neumann in 1929 in connection with Banach-Tarski Paradox, although earlier, Banach himself had understood th...