|
Online seminář z algebry - 25.3.2021 |
 |
 |
|
Další seminář z algebry se koná 25.3.2021 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde. Jonathan Kirby
A model-theoretic look at exponential fields
Abstrakt:
An exponential function is a homomorphism from the additive group of a field to its multiplicative group. The most important examples are the real and complex exponentials, and these are naturally studied analytically.
However, one can also study the algebra of exponential fields and their logical theory. It turns out that the natural ways to do this take one outside the usual finitary classical logic of model theory and into positive/coherent logic, geometric logic, or other infinitary logics, or to the more algebraic and abstract setting of accessible categories.
I will describe some of this story, focussing on the more algebraic aspects of existentially closed exponential fields.
This is joint work with Levon Haykazyan.
|
|
Aktualizováno Středa, 24 Březen 2021 07:56 |
|
Online seminář z algebry - 18.3.2021 |
|
|
|
Další seminář z algebry se koná 18.3.2021 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde. Karol Szumilo
Infinity groupoids in lextensive categories
Abstrakt:
I will discuss a construction of a new model structure on simplicial objects in a countably lextensive category (i.e., a category with well behaved finite limits and countable coproducts). This builds on previous work on a constructive model structure on simplicial sets, originally motivated by modelling Homotopy Type Theory, but now applicable in a much wider context. This is joint work with Nicola Gambino, Simon Henry and Christian Sattler.
|
|
Aktualizováno Pondělí, 15 Březen 2021 15:14 |
