Позивамо вас да присуствујете заједничком састанку Семинара за вероватносне логике и Семинара за математичку логику у четвртак, 16. априла, са почетком у 14 часова, сала 301ф, Кнеза Михаила 36 и онлајн.

Предавач: Станиcлав Сперански, Steklov Mathematical Institute of RAS

Наслов предавања: AN INTRODUCTION TO INDUCTIVE DEFINITIONS AND THEIR USE IN INFINITARY PROOF THEORY

Апстракт:

This talk aims to offer a brief yet accessible introduction to inductive definitions: monotone operators, their least fixed points and closure ordinals, etc. We shall also discuss how the corresponding machinery can be applied to the study of infinitary proof systems, e.g. those appearing in probabilistic and substructural logics.

Регистрација за учешће на семинару је доступна на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/gvS3adhP2bTJ8ZuDT

Уколико сте већ регистровани, предавање можете пратити на следећем линку (након пријављивања):
https://miteam.mi.sanu.ac.rs/asset/kdyH6izdfFkxcpe8P/?group=kdyH6izdfFkxcpe8P

Неулоговани корисници могу пратити пренос предавања на овом линку (али не могу постављати питања осим путем чата и не улазе у евиденцију присуства):
https://miteam.mi.sanu.ac.rs/call/kdyH6izdfFkxcpe8P/dfY9Pl_YG7KGHRkRYJvnG25EFxvhExKZGXaiNBh_lfA