Now showing items 1-1 of 1
Larrauri Borroto, Lázaro Alberto (Date of defense: 2023-03-03)
(English) This work is dedicated to the study several models of random structures from the perspective of first-order logic. We prove that the asymptotic probabilities of first-order statements converge in a general model ...