chb. In einem neuen Licht stellt sich der Fall Otto Eger dar. Die Analyse bislang nicht vollumfänglich beachteter Dokumente in ihrem historischen Kontext lassen eine insgesamt eher positive Gesamtbewertung der umstrittenen Persönlichkeit Otto Egers aus Sicht der JLU nicht mehr zu. Aus diesem Grund nimmt die JLU Abstand von dem Vorhaben, eine Gedenktafel im kürzlich sanierten „Otto-EgerHeim“ zu ...

Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis proposed around 1995 by Patrick Suppes and Richard Sommer, who also proved its consistency inside PRA. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes, of which Michal Rössler and Emil Jeřábek have recently proposed a weakened version. We add a Π1-transfer ...