General Relativity in the Making, 1916–1918: Rudolf J. Humm in Göttingen and Berlin

Mathematische Semesterberichte - In 1916, the Swiss student Rudolf J. Humm arrived in Göttingen to study relativity theory under Hilbert. He enrolled in his courses, attended Klein’s...     

Geodesic connectedness in Gödel type space-times

In this paper we use a variational approach in order to prove the geodesic connectedness of some Gödel type space-times; moreover direct methods allow to prove the geodesic connectedness of the Gödel Universe. At last a result of geodesic completeness is given.     

Preisausschreiben der Kgl. Gesellschaft der Wissenschaften zu Göttingen für den Beweis des Fermatschen Satzes

Mathematische Annalen -     

Instabilities in the Görtler model for wall bounded flows

The original Görtler model is analyzed with no-slip boundary conditions on the wall. These conditions have historically been the most difficult to treat. It is proved that the principle of exchange of stabilities holds, that is, the first unstable eigenvalue has imaginary part equal to zero. The techniques used involve factoring positive operators.     

Rings and Gödel algebras

In this paper, we study those rings whose semiring of ideals can be given the structure of a Gödel algebra. Such rings are called Gödel rings. We investigate such structures both from an algebraic and a topological point of view. Our main result states that every Gödel ring R is a subdirect product of prime Gödel rings R _i , and the Gödel algebra Id(R) associated to R is subdirectly embeddable as an algebraic lattice into ${{\prod_{i}}Id(R_{i})}$ , where each Id(R _i ) is the algebraic lattice of ideals of R _i that can be equipped with the structure of a Gödel algebra. We see that the mapping associating to each Gödel ring its Gödel algebra of ideals is functorial from the category of Gödel rings with epimorphisms into the full subcategory of frames whose objects are Gödel algebras and whose morphisms are complete epimorphisms.     

Circular proofs for the Gödel-Löb provability logic

Sequent calculus for the provability logic GL is considered, in which provability is based on the notion of a circular proof. Unlike ordinary derivations, circular proofs are represented by graphs allowed to contain cycles, rather than by finite trees. Using this notion, we obtain a syntactic proof of the Lyndon interpolation property for GL.