Seminar for Probability Logic

 

PROGRAM

---

Predavanja možete pratiti i online putem MITEAM stranice Seminara Verovatnosnih logika:
https://miteam.mi.sanu.ac.rs/asset/Cfox9absXrRZL3cah

---

Plan rada Seminara Verovatnosnih logika za APRIL 2026.

---

Četvrtak, 16.04.2026. u 14:00, Kneza Mihaila 36, sala 301f i Online
Stanislav Speranski, 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.
Zajednički sastanak sa Seminarom iz matematičke logike.

---

Petak, 17.04.2026. u 14:15, Kneza Mihaila 36, sala 301f i Online
Stanislav Speranski, Steklov Mathematical Institute of RAS
WEAK ARITNMETIC FROM THE VIEWPOINT OF MONADIC SECOND-ORDER LOGIC
By a weak arithmetical structure we shall mean a structure on the natural numbers such that: a) all the corresponding predicates and functions are computable; b) its elementary (that is, first-order) theory is decidable. Among the structures of this kind are Presburger's and Skolem's arithmetics, viz. the natural numbers with equality and either addition or multiplication. We are going to discuss monadic second-order definability in weak arithmetical structures and related complexity issues. Here `monadic' means that only predicate variables of arity 1 — which range over unary predicates on the natural numbers — are allowed. In effect, in second order logic, it is often natural to focus on monadic formulas. We shall examine in detail the case of Presburger arithmetic, and somewhat less explicitly, the case of Skolem arithmetic and its reducts.
Zajednički sastanak sa Odeljenjem za matematiku i Seminarom iz matematičke logike.

---

Beograd, 2026.

---