Talk page

Title:
Decidability bounds for Presburger arithmetic extended by sine

Speaker:
Eion Blanchard

Link:
https://video-archive.fields.utoronto.ca/view/15370

Workshop:
Fields- Model Theory Seminar