Adding a constant and an axiom to a doctrine

• Published in: Mathematical logic quarterly Vol. 70; no. 3; pp. 294 - 332
• Main Author: Guffanti, Francesca
• Format: Journal Article
• Language: English
• Published: Berlin Wiley Subscription Services, Inc 01.08.2024

We study the meaning of “adding a constant to a language” for any doctrine, and “adding an axiom to a theory” for a primary doctrine, by showing how these are actually two instances of the same construction. We prove their universal properties, and how these constructions are compatible with additio...