Thu, 27 Apr 2023
17:00
L4

Extremal models in affine logic

Tomás Ibarlucía
(Université Paris Diderot)
Abstract

Affine logic is the fragment of continuous logic in which the connectives are limited to affine functions. I will discuss the basics of this logic, first studied by Bagheri, and present the results of a recent joint work with I. Ben Yaacov and T. Tsankov in which we initiate the study of extreme types and extremal models in affine logic.

In particular, I will discuss an extremal decomposition result for models of simplicial affine theories, which generalizes the ergodic decomposition theorem.

Exploring QSAR models for activity-cliff prediction
Dablander, M Hanser, T Lambiotte, R Morris, G Journal of Cheminformatics volume 15 issue 1 (17 Apr 2023)
Transonic Flows and Isometric Embeddings
Chen, G Slemrod, M Wang, D The IMA Volumes in Mathematics and its Applications volume 153 257-266 (29 Mar 2011)
Subscribe to