### Oberwolfach

 (This song was written in 1988 during the final evening of a conference on universal algebra and lattice theory held at the Mathematisches Forschungsinstitut in Oberwolfach in the Black Forest in Germany.) Now George tells us jokes and he talks rather slow And I'm in the front row with nowhere to go So at the next conference I'll show what I know I'll sit at the back and sleep right through the show. (Davey) CHORUS Oberwolfach, Oberwolfach once more Give me a proof and I'll go through the roof At Oberwolfach once more. (Davey/McNulty) There's George from the first verse but then there's one more And we have to listen when he takes the floor But with glueings and pastings God knows what's in store To take it all in makes my poor old head sore. (Davey) Of algebras partial I'm tiring fast My comprehension may simply not last Relations and functions are all in the cast I wish partial algebras were in the past. (Albert/Davey) Directoids and joinoids, what are all those things? I remember when algebra was about rings. And then there's this Aussie that bloody well sings And I have to go back when the lecture bell rings. (Albert) Tame congruence theory and commutators galore Where's Ralph McKenzie to tell us some more? How will we know if there is a flaw Without Ralph to be here and lay down the law? (Comer/Davey) We get up at 8 and we read the new signs. At 2 it is time for a walk in the pines. At 1 in the morning we sample the wines. At 8 the next day its back into the mines. (Albert) Whatever the concept that Rudolf makes clear Will be well-connected---there's nothing to fear. With context selected, the picture's projected The lattice gets status, so let out a cheer! (McNulty) Mein Deutsch ist sehr schlecht und viel Fehler I make But etwas das I wei\ss, Kuchen ist cake. Mit Kaffee or Tee it's not hard to take Und nachher I versuch more theorems to make. (Davey) For every lattice a group should exist. The proof would be easier if I weren't half pissed. But just when I feel like I'm getting the gist, It seems nonetheless that it's all in a twist. (Albert) Of avoidable words not much I can say For my letters, each one, I surely must pay It's very unclear what laws they obey Though Tardo\v s may tell me by the end of the day. (Albert) Now tell me the theorems that once you have seen, Projected upon the overhead screen. With clones that are maximal, my agony's actual But let us now join in our primal scream. (McNulty) The tenth time we have this fine conference here The pauses are longer---year after year But Tamas Schmidt was every time here So we can just guess how much he drank beer. (Werner) The problems we hear far too late in the week We've only one day their solutions to seek, Of type 0 algebras give me a peek. To find a tame congruence seems oh so chic! (Albert) When Ivo came in he was chasing some clones He's done it so long, it's got into his bones He's got those at the top but he simply won't stop He's aiming to fill more than $\aleph_{0}$ tomes. (Davey) From all round the world the participants came Each one in the book gladly wrote his/her name But the abstract was harder, no-one was game Till $P^{3}$ retorted with threats us to maim. (Albert) Eva, Hilda, and MK at last set the tone Of beauty and grace---the exception was Stone. Embedding legalities required dualities Which Brian and Hilary found on their own. (Albert/McNulty) A theorem was proved on Friday night The "empty'' conjecture was certainly right. A proof by cases created red faces And at the end all the provers were tight. (Albert) P. Pudlak has told us that proofs can be long Though rewriting rules are ever so strong. Peano arithmetic can be quite a bag of tricks. In doubt, just consider the length of this song. (Albert/McNulty) Who is this guy our speakers missed most, Saying "dually, symmetrically'' at no extra cost? Of their hospitality they most like to boast Next time Ervin {\it et al.} will be our hosts. (Kiss) Now Bill has a zipper that's really a ripper Equational lattices make him feel hipper. But Gabor divulges, that Bill's zipper bulges So next we expect there will be a Lampe nipper. (Albert/McNulty) Varieties decidable are really quite $S\otimes A\otimes D$ Without Ralph and Matt they would drive us quite mad. Unary, Discriminator, Rings the terminator It's all so confusing perhaps we've been had. (Albert/McNulty) Mike Albert loves monoids, Oh equations of bliss Of Ehrenfeucht's Conjecture, not one case he'd miss Each infinite system has some finite list But with Susan at home, is this lover's tryst. (Davey/McNulty) Morning is coming and we can still sing. You can lift your glass, but can you still think? Can all your ideals make just one more ring? Well, all of our glasses can use one more drink! (Tuma/McNulty)