Some model theory of sheaves of modules

DOI10.2178/jsl/1102022218zbMath1081.03035OpenAlexW2133965175MaRDI QIDQ5311775

V. Puninskaya, Alexander Ralph, M. Y. Prest

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://eprints.maths.manchester.ac.uk/282/1/modthshf.pdf

zbMATH Keywords

quiversacyclicitystrong minimalitysheaves of modules

Mathematics Subject Classification ID

Associative rings of functions, subdirect products, sheaves of rings (16S60) Model-theoretic algebra (03C60) Applications of logic in associative algebras (16B70)

Related Items (5)

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets ⋮ Integrating discrete controller synthesis into a reactive programming language compiler ⋮ Covers in finitely accessible categories ⋮ Definable additive categories: purity and model theory ⋮ Multisorted modules and their model theory

Cites Work

• Unnamed Item
• Cohomology of sheaves

This page was built for publication: Some model theory of sheaves of modules