|
|
Thursday, 16:15-17:45, Seminar room, Hagenberg.
In this semester the primary (but not the only) focus will be on model-theoretic
aspects of set theory.
- 17.3.2003: Nikolaj Popov: Operators in Recursion Theory
- 24.3.2003: Nikolaj Popov: Operators in Recursion Theory (continuation)
- 31.3.2003: Georg Fuchsbauer: Basic Concepts of Model Theory
- 10.4.2003: Heinrich Rolletschek: Completeness, compactness and related results
- 28.4.2003: Heinrich Rolletschek: The omitting types-theorem
Some classical results: satisfiability-, interpolation- and
definability theorems
- 5.5.2003: Florina Piroi: Elementary extensions and chains, and applications
- 15.5.2003: Heinrich Rolletschek: Some classical results: satisfiability-, interpolation- and definability
theorems
- 22.5.2003: Günter Landsmann: Ultrapowers and ultraproducts
Josef Schicho: Topos Theory (Logic as Geometry)
- 5.6.2003: Josef Schicho: Topos Theory (Logic as Geometry)
- 12.6.2003: Markus Rosenkranz: Model Theory and Universal Algebra
- 26.6.2003: Heinrich Rolletschek: Atomic and countably saturated models
|
|
