RISC Logo
    News       Library       Links       Sitemap       Search  
line
 
 Seminar (SS): Logic and Set Theory
 

Date and Time

Thursday, 16:15-17:45, Seminar room, Hagenberg.

About the Seminar

In this semester the primary (but not the only) focus will be on model-theoretic aspects of set theory.

Current schedule

  • 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
    This page is maintained by Dr. Heinrich Rolletschek . Last updated on June 25, 2003