Loewenheim-Skolem problem for functors

DOI10.1007/BF02761406zbMath0495.03018OpenAlexW2060109585MaRDI QIDQ1169453

R. Gurevic

Publication date: 1982

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02761406

zbMATH Keywords

algebraic systemsCech cohomology functorembedding of an elementary submodelexpressibility result for infinitary languages

Mathematics Subject Classification ID

Model theory (03C99) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) ?ech types (55N05) Categories of algebras (08C05) Other infinitary logic (03C75) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Large infinitary languages. Model theory
• Unnamed Item
• Unnamed Item

This page was built for publication: Loewenheim-Skolem problem for functors