Kalender

Bengt Ek: Några oändliga modeller som är 'gränsvärden' av ändliga — modellteoretiska likheter mellan slumpgrafen, de rationella talen m.fl.

24 jan

Lunchseminarium

torsdag 2013-01-24, 12.20 - 13.00

Medverkande: Bengt Ek, KTH

Plats: Rum 3424, plan 4, Institutionen för matematik, KTH

2013-01-24T12:20:00.000+01:00 2013-01-24T13:00:00.000+01:00 Bengt Ek: Några oändliga modeller som är 'gränsvärden' av ändliga — modellteoretiska likheter mellan slumpgrafen, de rationella talen m.fl. (Lunchseminarium) Rum 3424, plan 4, Institutionen för matematik, KTH (KTH, Stockholm, Sweden)Bengt Ek: Några oändliga modeller som är 'gränsvärden' av ändliga — modellteoretiska likheter mellan slumpgrafen, de rationella talen m.fl. (Lunchseminarium)

Metamathematics and Proof Theory

24 jan

Kursstart

torsdag 2013-01-24, 15.15 - 17.00

Plats: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2013-01-24T15:15:00.038+01:00 2013-01-24T17:00:00.038+01:00 Metamathematics and Proof Theory (Kursstart) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Metamathematics and Proof Theory (Kursstart)