Lang-Weil Type Estimates in Finite Difference Fields
Hils, M Hrushovski, E Ye, J Zou, T (02 Jun 2024)

New Grab & Go menu in the Café from 11 June,  featuring a new range of baguettes, ciabattas, salads, and more.

Poincaré inequality for one forms on four manifolds with bounded Ricci curvature
Honda, S Mondino, A (29 May 2024)
Can you hear the Planck mass?
De Luca, G De Ponti, N Mondino, A Tomasiello, A (31 May 2024)
Mathematical study in Berlin 1906–1911: the notebooks of A. K. Sushkevich
Hollings, C Mathematical Intelligencer
Aggregation-Diffusion Equations for Collective Behaviour in the Sciences
Bailo, R Carrillo, J Gómez-Castro, D (26 May 2024)
Tue, 11 Jun 2024

14:00 - 15:00
L5

Decision problems in one-relation semigroups

Carl-Fredrik Nyberg Brodda
(KIAS)
Abstract

I will give an overview and introduction to the most important decision problems in combinatorial semigroup theory, including the word problem, and describe attempts to solve a problem that has been open since 1914: the word problem in one-relation semigroups. I will link it with some of my results from formal language theory, as well as recent joint work with I. Foniqi and R. D. Gray (East Anglia) on proving undecidability of certain harder problems, proved by way of passing via one-relator groups.

Subscribe to