5 papers
Distributive lattices in o-minimal structures
Zoltan A. Kocsis
We investigate distributive lattices and Heyting algebras definable in o-minimal structures. We give a complete description of one-dimensional distributive lattices definable in o-…
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
Matthew Bolan, Joachim Breitner, Jose Brox +31
We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project suc…
Structured Decompositions: Structural and Algorithmic Compositionality
Benjamin Merlin Bumpus, Zoltan A. Kocsis, Jade Edenstar Master +1
We introduce structured decompositions, category-theoretic structures which simultaneously generalize notions from graph theory (including treewidth, layered treewidth, co-treewidt…
Proof-theoretic methods in quantifier-free definability
Zoltan A. Kocsis
We introduce a proof-theoretic approach to showing nondefinability of second-order intuitionistic connectives by quantifier-free schemata. We apply the method to prove that Taranov…
Apartness relations between propositions
Zoltan A. Kocsis
We classify all apartness relations definable in propositional logics extending intuitionistic logic using Heyting algebra semantics. We show that every Heyting algebra which conta…