SonstigeVeranstaltungenMI Logic and Groups |
Vortragende Person:Turbo Ho
Veranstalter:Mathematisches Institut
Beschreibung:
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.
Ähnliche Veranstaltungen nach Schlagwort finden:
Veranstaltungsart:Kolloquium
Veranstaltungssprache:Englisch
Kategorie:Forschung
Name der einladenden Person:Henry Bradford
Export als iCalendar/ICS-Datei:
Direkter Link zur Veranstaltung:https://events.goettingen-campus.de/event?eventId=11100
EN DE