PD Dr. Christine Gaßner
Contact Information
Institute of Mathematics and Computer Science
Walther-Rathenau-Str. 47
17489 Greifswald, Germany
News
Gaßner: Abstract Computation over First-Order Structures: Extras: From programs to decision trees I (Preprint)
Gaßner: Abstract Computation over First-Order Structures: From configurations to first-order formulas Colloquium Logicum 2026
My current research projects
Abstract computation over first-order structures (Part I, Part IIa, Part IIb)
AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic (Preprint)
AC and the Independence of WO in Second-Order Henkin Logic (Part I, Part II)
A BSS-RAM Model for Abstract Computation (See also talks: Leeds, Verona)
Main Topics of the Arbeitstreffen
