@techreport{aucher:hal-03884240,
TITLE = {Generalized Keisler Theorems for Atomic and Molecular Logics},
AUTHOR = {Aucher, Guillaume},
URL = {https://hal.science/hal-03884240},
INSTITUTION = {Universit{\'e} de Rennes 1},
YEAR = {2022},
MONTH = Dec, PDF = {https://hal.science/hal-03884240/file/HALreportModelTheoryAtomicMolecularLogicsPart1.pdf},
HAL_ID = {hal-03884240},
HAL_VERSION = {v1},
}
Affichage BibTex