Great video! You briefly talked about categoricity, I think you should make a video on categoricity transference (specifically in infinitary logics) and abstract elementary classes.
Yes, this would be interesting, and it would be great to have a video about it! Helas, at the moment I am fully booked out with teaching linear algebra II which is in old-fashioned black board style, without video...
@@bodirsky That is unfortunate. Although it is still a good video idea for later. Good luck on your teaching, you helped me fill some of the gaps in my knowledge about model theory.
Groups and rings are examples of (first-order) structures. I use "model" when I talk about structures that satisfy some set of (first-order) sentences.
Wow! I got lost early in the video due to the jargon. I understand isomorphisms, but I did not comprehend the other definitions. I will need to think about the statement "clearly the two structures are not isomorphic".
![Lp. Сердце Вселенной #60 РОЖДЕНИЕ ЛОЛОЛОШКИ [Финал] • Майнкрафт](http://i.ytimg.com/vi/YoR0pAV9FVQ/mqdefault.jpg)
I quickly ceased to understand, but I certainly appreciate this video.
I'm curious: what was the first place where something was unclear (this will help me when -- some day.... -- I will make another video.
same here
Great video! You briefly talked about categoricity, I think you should make a video on categoricity transference (specifically in infinitary logics) and abstract elementary classes.
Yes, this would be interesting, and it would be great to have a video about it! Helas, at the moment I am fully booked out with teaching linear algebra II which is in old-fashioned black board style, without video...
@@bodirsky That is unfortunate. Although it is still a good video idea for later. Good luck on your teaching, you helped me fill some of the gaps in my knowledge about model theory.
Thanks, what source do you recommend?
Hi, lädst Du die ganze Serie hier hoch? Würde mich freuen!
Ja -- muss allerdings alles erst noch produziert werden!
Die Folgevideos zu diesem sind bereits auf dem Kanal! Herzliche Grüsse,
Thank you for video!
By model, do you mean group, ring, etc.?
Groups and rings are examples of (first-order) structures. I use "model" when I talk about structures that satisfy some set of (first-order) sentences.
Amazing video!
Love it!!!!!!
Wow! I got lost early in the video due to the jargon. I understand isomorphisms, but I did not comprehend the other definitions. I will need to think about the statement "clearly the two structures are not isomorphic".