Logic seminar: Charlotte Kestner
| Dates: | 2 April 2025 |
|---|
| Times: | 15:00 - 16:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|---|
|
Title: Some model theory of Quadratic Geometries
Abstract: I will introduce the theories of orthogonal spaces and quadratic geometries over infinite fields, giving some background on Lie coordinatisable structures, and bilinear forms over infinite fields. I will then go on to explain the quantifier elimination for these structures, and discuss the axiomatisation of their pseudo-finite completions and model companions. This is joint work with Nick Ramsey.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
