Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio; (2021) Model theory of monadic predicate logic with the infinity quantifier. Archive for Mathematical Logic , 61 pp. 465-502. 10.1007/s00153-021-00797-0 <https://doi.org/10.1007/s00153-021-00797-0>. Green open access