First order logic of random sparse structures 

Larrauri Borroto, Lázaro Alberto (Data de defensa: 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 ...