Henrik Forssell

MaRDI QIDQ1935869zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds (available as arXiv preprint)	2023-02-07	Paper
Type theoretical databases Journal Of Logic And Computation	2020-04-29	Paper
Constructive reflectivity principles for regular theories Journal of Symbolic Logic	2020-01-10	Paper
Constructive completeness and non-discrete languages	2017-09-18	Paper
Type theoretical databases Logical Foundations of Computer Science	2017-07-21	Paper
Type theoretical databases Logical Foundations of Computer Science	2017-07-21	Paper
Subgroupoids and quotient theories Theory and Applications of Categories	2013-09-04	Paper
Subgroupoids and quotient theories Theory and Applications of Categories	2013-09-04	Paper
Filtered Colimit Preserving Functors on Models of a Regular Theory	2013-06-28	Paper
First-order logical duality Annals of Pure and Applied Logic	2013-02-19	Paper
Topological representation of geometric theories Mathematical Logic Quarterly	2012-12-10	Paper
scientific article; zbMATH DE number 2222244 (Why is no real title available?)	2005-11-02	Paper
scientific article; zbMATH DE number 2222244 (Why is no real title available?)	2005-11-02	Paper

Research outcomes over time

This page was built for person: Henrik Forssell