Arbeitsgruppe Modelltheorie

Model theory group

|
 
 

Die folgenden Vorträge haben im Wintersemester 2015/16 im Oberseminar Modelltheorie stattgefunden.

 

Montag, 02.11.2015 um 15:15 Uhr

Arno Fehm (Universität Konstanz)

On sums of two squares

Abstract:

 

Montag, 09.11.2015 um 15:15 Uhr

Gabriel Lehéricy (Universität Konstanz)

Total quasi-orders and C-structures on abelian groups

Abstract:

 

Montag, 23.11.2015 um 15:15 Uhr

Sebastian Krapp (Universität Konstanz)

Ritt's Factorisation Theorem

Abstract:

 

Montag, 30.11.2015 um 15:15 Uhr

Merlin Carl (Universität Konstanz)

Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines

Abstract:

 

Montag 07.12.2015 um 15:15 Uhr, Oberseminar Modelltheorie

Patrick Helbig (Universität Konstanz)

Elementary equivalence of strongly complete profinite groups

Abstract:

 

Montag 18.01.2016 um 15:15 Uhr, Oberseminar Modelltheorie

Sylvy Anscombe (University of Central Lancashire, Preston)

(Gast von Arno Fehm)

Henselianity in the language of rings

Abstract:

 

Montag, 25.01.2016 um 15:15 Uhr

Pablo Cubides (Université de Caen Normandie)

(Gast von Salma Kuhlmann)

On externally definable sets in algebraically closed valued fields

Abstract:

 

Montag, 08.02.2016 um 15:15 Uhr

Lorenzo Galeotti (Universität Hamburg)

(Gast von Salma Kuhlmann)

Generalised Weihrauch Degrees

Abstract: