Q6150169

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
Stack Representation of Finitely Presented Heyting Pretoposes I (available as arXiv preprint)	N/A	Paper
Categorical structure in coherent theory of arithmetic Theoretical Computer Science	2026-03-26	Paper
Craig Interpolation for Subgeometric Logics (available as arXiv preprint)	2026-01-01	Paper
Coexact completion of profinite Heyting algebras and uniform interpolation (available as arXiv preprint)	2026-01-01	Paper
The Synthetic Sierpiński Cone (available as arXiv preprint)	2026-01-01	Paper
Duality theory for categorical theories (available as arXiv preprint)	2026-01-01	Paper
Conceptual completeness for subgeometric logics (available as arXiv preprint)	2026-01-01	Paper
Failure of Higher-Order Truth within Intuitionistic Propositional Logic (available as arXiv preprint)	2026-01-01	Paper
Logics vs doctrines, a mirror symmetry (available as arXiv preprint)	2026-01-01	Paper
Logic and Concepts in the 2-category of Topoi (available as arXiv preprint)	2025-01-01	Paper
Domains and Classifying Topoi (available as arXiv preprint)	2025-01-01	Paper
Towards a relational treating of language and logical systems	2024-09-10	Paper
Unification of Modal Logic via Topological Categories Electronic Proceedings in Theoretical Computer Science	2024-03-05	Paper
Varieties of self-reference in metamathematics Journal of Philosophical Logic	2023-08-02	Paper
Ultraposet, Distributive Lattice, and Coherent Locale	2023-04-21	Paper
Categorical Structure in Theory of Arithmetic	2023-04-11	Paper
Ultraposet, Distributive Lattice, and Coherent Locale (available as arXiv preprint)	2023-01-01	Paper
Syntax and Consequence Relations -- A Categorical Perspective	2021-09-08	Paper
Syntax and Consequence Relations -- A Categorical Perspective (available as arXiv preprint)	2021-01-01	Paper

Research outcomes over time

This page was built for person: