@techreport{aucher:hal-03884245,
TITLE = {Generalized Keisler Theorems for First-order Logic and Protologics},
AUTHOR = {Aucher, Guillaume},
URL = {https://hal.science/hal-03884245},
INSTITUTION = {Universit{\'e} de Rennes 1 (UR1)},
YEAR = {2022},
MONTH = Dec, PDF = {https://hal.science/hal-03884245/file/HALreportModelTheoryAtomicMolecularLogicsPart2.pdf},
HAL_ID = {hal-03884245},
HAL_VERSION = {v1},
}