scientific article

zbMath1214.18005MaRDI QIDQ3532317

René Guitart

Publication date: 3 November 2008

Full work available at URL: https://eudml.org/doc/91733

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites Work

• On the structure and representation of clones
• Sheaves in geometry and logic: a first introduction to topos theory
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Classifying toposes for first-order theories
• The class of topological spaces is equationally definable
• Adjoint functors and triples
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Relational algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: