Model theory for sheaves of modules

DOI10.1007/978-3-662-58771-3_9OpenAlexW2914219218MaRDI QIDQ2284180

M. Y. Prest

Publication date: 14 January 2020

Full work available at URL: https://www.research.manchester.ac.uk/portal/en/publications/model-theory-for-sheaves-of-modules(8d840fe3-311d-4ca6-a98d-3b527cb5e933).html

zbMATH Keywords

modulesmodel theorysheavesmultisorted

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

This page was built for publication: Model theory for sheaves of modules