SonstigeVeranstaltungenMI Logic and Groups |
Speaker:Turbo Ho
Organizer:Mathematisches Institut
Details:
We will start by an informal introduction to the first-order logic, with examples from group theory, and discuss some pros and cons of the first-order logic. We will then move to an infinitary generalization of the first-order logic, and study some invariant of groups in this logic. No background in logic is required.
Search for keywords:
Type:Colloquium
Language:English
Category:Research
Host:Henry Bradford
Export to your calendar (e.g., Outlook or iCal):
Direct link to event:https://events.goettingen-campus.de/event?eventId=11100
EN DE