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)