2022-11-02: Radu Mardare (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Radu Mardare (MSP)

Fixed points and recursion in quantitative reasoning

Abstract

This talk summarizes a series of results regarding the extension of quantitative algebraic reasoning with fixed points and recursion. The work extends the quantitative algebras (which are universal algebras on metric spaces) with syntactic constructs that allow us to encode Banach fixed points on complete metric spaces. In effect, one gets (a generalization of) a Conway and an iteration theory. I will demonstrate that most of the results known about classic iteration theories on ordered structures remain true in the metric context. And, in fact, that the metric settings generalize the results for ordered structures.

2022-11-02 11:00:00 UTC
LT1310 and Online