[next] [prev] [prev-tail] [tail] [up]

4.7 Modelltheorie

Seminar:

Modelltheorie

  

Dozent:

Martin Ziegler

  

Zeit/Ort:

Mi 11–13, SR 318 Eckerstr.1

  

Tutorium:

Nina Frohn

  

Vorbesprechung:

Mi 4.2.2009, 11:15, SR 318, Eckerstr. 1

  

Web-Seite:

http://home.mathematik.uni-freiburg.de/ziegler/veranstaltungen/
ss08-seminar.html

  

Inhalt:

Wir besprechen eine neue Arbeit von Hrushovski und Pillay über NIP-Theorien. Eine Theorie heißt dabei NIP (Non-independence-property), wenn es keine Formel ϕ(x,y) und Elemente bi, (i ∈ ω) gibt, sodaß für jede Teilmenge I von ω die Menge

{ϕ (x,b ) | i ∈ I} ∪ {¬ϕ (x,b) | i ⁄∈ I} i i

erfüllbar ist. Stabile und o-minimale Theorien sind NIP.

Literatur:

  1. H. Adler An introduction to theories without the independence property
    http://www.amsta.leeds.ac.uk/˜adler/docs/nip.pdf (2008)
  2. E. Hrushovski, A. Pillay On NIP and invariant measures.
    http://de.arxiv.org/abs/0710.2330 (2007)

Typisches Semester:

6. Semester

Studienschwerpunkt:

Mathematische Logik

Notwendige Vorkenntnisse:

Modelltheorie

Sprechstunde Dozent:

nach Vereinbarung

[next] [prev] [prev-tail] [front] [up]