Johan G. F. Belinfante

Learn More
Some basic theorems about composition and other key constructs of set theory were proved using McCune’s computer program OTTER, building on Quaife’s modification of Gödel’s class theory. Our proofs use equational definitions in terms of Gödel’s flip and rotate functors. A new way to prove the composition of homomorphisms theorem is also presented.
Zusammenfassung Nach einer kurzen Einleitung (3 1) wird in § 2 untersucht, welchen Be-dingungen die Lagrangesche Funktion fi eines Systems von Feldern ge-niigen muss, damit Dichte und Strom der elektrischen Ladung oder ahnli-cher Grossen (wie z.B. die Dichte schwerer Teilchen) einer Kontinuitats-gleichung Geniige leisten. In diesem Zusammenhang wird das(More)
In troduct ion Lie algebras were invented to simpJ-ify calculations with r i a arnrrnc :nd thoi r ranra<an{-:f i nnq Tha fha^rv of T.i c al oe-!r s Y r vqt/r qr.u errsrr r LlJ! e bras has consequently always been constructively oriented. ^riain:l1rr:1r ardorithms had to be carried out by hand, which fortunately provided a strong incentive to develop(More)
summary A band is a semigroup whose elements are all idempotent. (Another name for a band is an idempotent semigroup.) This notebook introduces the definition of the class BANDS of all bands, and derives a few immediate consequences of the definition. definition Definition. The class of all bands is defined by a class-wrapped membership rule. The DownValues(More)
summary This third notebook on well−founded recursion is concerned with restrictions of partial solutions. It may be recalled that to avoid automatic expansion of its (fairly complicated) definition, the class partrec[x,y] of partial solutions had been defined by a membership rule wrapped with class. It was later shown in the notebook partrec.nb that an(More)