On the internal logic of regular categories

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Oosten, J. van
dc.contributor.author	Koopman, T.J.
dc.date.accessioned	2019-07-25T17:01:05Z
dc.date.available	2019-07-25T17:01:05Z
dc.date.issued	2019
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/32984
dc.description.abstract	We define a way to model regular logic in regular categories. We prove an analogue to the soundness theorem and state an analogue to the completeness theorem.
dc.description.sponsorship	Utrecht University
dc.format.extent	569004
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.title	On the internal logic of regular categories
dc.type.content	Bachelor Thesis
dc.rights.accessrights	Open Access
dc.subject.keywords	logic, category theory, model theory
dc.subject.courseuu	Wiskunde