This is a list of possible topics for talks in the seminar. You can choose any topic where there is not yet a participants name attached to it. If you decide on a topic, please let us know by E-Mail: Leon Pernak, Emmanuel Rauzy

The dates of the talk will be noted here as well in due time.

Computability in Algebra

Local decision problems for groups and semigroups

Talk 1: Hannah Zeimetz. (27/06/2023, supervised by Emmanuel Rauzy)

Talk 2: Max Leist. (04/07/2023, supervised by Emmanuel Rauzy)

The Adin-Rabin-Theorem (Global decision problems)  (XX/XX/2023, supervised by ...)

The subgroup membership problem for free groups (XX/XX/2023, supervised by ...)

Computability in Analysis

Computable real numbers Maximilian Tornes (18/07/2023, supervised by Emmanuel Rauzy)

Type 2 theory of effectivity in computable analysis (XX/XX/2023, supervised by Emmanuel Rauzy)

Computability in Logic

Introductory Talk on Model Theory and Quantifier Elimination (XX/XX/2023, supervised by Leon Pernak)

Presburger Arithmetic Egor Gorbachev (20/06/2023, supervised by Leon Pernak)

The Tarski-Seidenberg theorem Robin Lahni (11/07/2023, supervised by Leon Pernak)

Hilbert's Tenth problem (XX/XX/2023, supervised by Emmanuel Rauzy)

Further Topics in Computability Theory

The priority method and Friedberg's solution to Post's problem Haoyi Zeng (13/06/2023, supervised by Emmanuel Rauzy)

Kolmogorov Complexity (06/06/2023, supervised by ...)

Linear Recurrence Sequences (XX/XX/2023, supervised by ...)

The Matrix Mortality Problem (XX/XX/2023, supervised by ...)

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.