scientific article; zbMATH DE number 1038419

MaRDI QIDQ4345376zbMATH OpenFDO

Authors Filippo Dotti

Publication date 6 October 1997

zbMATH Keywords

category of first-order theoriesequivalence classes of interpretations

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 5066367
• scientific article; zbMATH DE number 3995941
• scientific article; zbMATH DE number 3218789
• scientific article; zbMATH DE number 7599499
• Theories as types
• scientific article; zbMATH DE number 3220362
• Category Theory and Philosophy
• Logic and categories as tools for building theories
• scientific article; zbMATH DE number 4081521
• Category theory and theory of evolution

Cited in

(3)

• scientific article; zbMATH DE number 3916232 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• Categories in Context: Historical, Foundational, and Philosophical

This page was built for publication:

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