MISANU

PROGRAM

ODELJENJE ZA MATEMATIKU
MATEMATIČKOG INSTITUTA SANU

Registracija za učešće na seminaru je dostupna na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N.
Ukoliko ste vec registrovani predavanje možete pratiti na sledećem linku (nakon sto se ulogujete):
https://miteam.mi.sanu.ac.rs/asset/J6zEMJyMSoAbTMMX7.
Neulogovani korisnici mogu pratiti prenos predavanja na ovom linku (ali ne mogu postavljati pitanja osim putem chata i ne ulaze u evidenciju prisustva):
https://miteam.mi.sanu.ac.rs/call/T9XDGChhq8aDcNqmz/qw7wIwci2jv2rdg9I9CrXkm7OJhF_LB8DfjXZp4jTFV.

PROGRAM ZA JUL 2024.

Utorak, 02.07.2024. u 14:00, Kneza Mihaila 36, sala 301f i Online
Michael Benedikt, Oxford
DECIDABILITY OF ARITHMETIC
This talk will be about algorithms for deciding whether a formula in first-order logic with arithmetic operators holds in the integers. In particular, we focus on addition, inequality, and exponentiation with base 2, known to be decidable from work of Semenov several decades ago. The seminar will be mostly based on a paper at ICALP 2023, joint with Dmitry Chistikov and Alessio Mansutti, which provides the first complexity bounds for this theory: https://drops.dagstuhl.de/opus/volltexte/2023/18164/.
I will include some background on decision procedures, and I am hoping to make the talk accessible to people who know nothing about this area. If time permits, I may also say a few words about related decidability results and periodic spectra for counting logics with arithmetic, joint work with Tony Tan and Egor Kostylev: https://arxiv.org/html/2006.01193v2.
Zajednički sastanak sa Logičkim seminarom.

Odeljenje za matematiku je opsti matematicki seminar namenjen sirokoj publici. Predavanja su prilagodjena matematicarima i onima koji zele da to postanu.

Zoran Petrić, Odeljenje za matematiku Matematickog instituta SANU