%0 Journal Article %1 journals/aml/CarreiroFVZ22 %A Carreiro, Facundo %A Facchini, Alessandro %A Venema, Yde %A Zanasi, Fabio %D 2022 %J Arch. Math. Log. %K dblp %N 3-4 %P 465-502 %T Model theory of monadic predicate logic with the infinity quantifier. %U http://dblp.uni-trier.de/db/journals/aml/aml61.html#CarreiroFVZ22 %V 61

@article{journals/aml/CarreiroFVZ22, added-at = {2024-06-08T00:00:00.000+0200}, author = {Carreiro, Facundo and Facchini, Alessandro and Venema, Yde and Zanasi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/284a8dc5e2fbe31ee8817b8a7637d30d1/dblp}, ee = {https://www.wikidata.org/entity/Q114231463}, interhash = {b7918d1cda73fea030f98b55dcd6e12b}, intrahash = {84a8dc5e2fbe31ee8817b8a7637d30d1}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {3-4}, pages = {465-502}, timestamp = {2024-06-17T07:20:07.000+0200}, title = {Model theory of monadic predicate logic with the infinity quantifier.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml61.html#CarreiroFVZ22}, volume = 61, year = 2022 }