TY - RPRT TI - Model Theory of Monadic Predicate Logic with the Infinity Quantifier AU - Facundo Carreiro AU - Alessandro Facchini AU - Yde Venema AU - Fabio Zanasi PY - 2018 UR - https://arxiv.org/abs/1809.03262 ID - 1809.03262 ER -