Ivory Fronteau - Preservation under reduced products in continuous logic

Quand : 4 juin 2026 à 15:00

Où : ICJ

Organisé par : Institut Henri Poincaré

Reduced products are the natural generalisation of ultraproducts when one uses any filter instead of ultrafilters. It is a classical result, due to Keisler and Galvin, that a first-order formula is preserved under reduced products if and only if it is equivalent to a Horn formula. However, another fragment is of interest when studying reduced products: the one consisting of Palyutin formulas (also