SoSe 2013 » Classical and Non-Classical Model Theory
Prof. Dr. Otto

ÜbersichtExercisesSlides

Aktuelles

16.07.2013As some have realised (congratulations), there was a mistake in Exercise 12.6 (c), which has just been corrected. We do have the means to show MSO-non-definbaility of the graph of addition over ([n],<), namely?

 

Veranstalter

Name Raum Tel.
Otto, MartinS2|15 20722861
Eickmeyer, KordS2|15 20422864

 

Impressum | Datenschutzerklärung