The internal logic and finite colimits

DOI10.1007/s11787-023-00343-xMaRDI QIDQ6633054

William Troiani

Publication date: 5 November 2024

Published in: Logica Universalis (Search for Journal in Brave)

zbMATH Keywords

toposlogictype theoryinternal languagefinite colimits

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Metamathematics of constructive systems (03F50)

This page was built for publication: The internal logic and finite colimits