Some model theory of sheaves of modules

DOI10.2178/JSL/1102022218MaRDI QIDQ5311775zbMATH OpenOpenAlexFDO

Authors Vera Puninskaya, Alexander Ralph, Mike 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

acyclicityquiverssheaves of modulesstrong minimality

Mathematics Subject Classification ID

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

Recommendations

• Model theory for sheaves of modules
• scientific article; zbMATH DE number 31601
• scientific article; zbMATH DE number 1136100
• Model theory of modules
• scientific article; zbMATH DE number 120343
• scientific article; zbMATH DE number 6845518
• scientific article; zbMATH DE number 192904
• Sheaves as modules
• scientific article; zbMATH DE number 6740052
• Model theory of modules over a serial ring

Cites work

• Cohomology of sheaves
• scientific article; zbMATH DE number 3489364 (Why is no real title available?)

Cited in

(9)

• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
• Definable additive categories: purity and model theory
• scientific article; zbMATH DE number 5960295 (Why is no real title available?)
• Covers in finitely accessible categories
• Integrating discrete controller synthesis into a reactive programming language compiler
• scientific article; zbMATH DE number 6845518 (Why is no real title available?)
• Multisorted modules and their model theory
• Sheaf models for choice sequences
• Sheaves as modules

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311775)