First order logic of random sparse structures 

    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 ...