Limiting densities and finitely presented structures

Abstract: We address the question of typicality for structures by studying the limiting densities of various properties. We define the limiting density of a property Q to be the limit of the fraction of presentations of a variety with relators of length at most s that have property Q as s goes to infinity. After providing some initial examples, we present a more general approach to our question. This work is joint with Meng-Che "Turbo" Ho and Julia Knight.

logic

Audience: researchers in the topic

Online logic seminar

Series comments: Description: Seminar on all areas of logic