Construction of an homology and a cohomology theory associated to a first order formula
Copower objects and their applications to finiteness in topoi.
Counting measure for Kuratowski finite parts and decidability
De Morgan's and strong De Morgan's laws in a topos of shaves
Deduction over graphs under constraints : a soundness and completeness theorem
Entropic Hopf algebras and models of non-commutative logic.
Exploring the gap between linear and classical logic.
Finite objects and extensional relations
Finite presentability of strongly finite dilators
Finite presentability of strongly finite dilators
In this paper, we establish the following results: (i) every strongly finite dilator is finitely presentable in the category of endofunctors on the category of ordinals; (ii) a dilator F is strongly finite if and only if F is finitely presentable in the category of dilators.
Finite sum-product logic.
Forcing smooth square roots and integration
Formulas and ultraproducts in categories
Foundations for stepwise refinement of program specifications via cylindric algebra theory
Functorial bounds for cut elimination in L... .I.
Functorial polymorphism and semantic parametricity
Generating families in a topos.
Geometric and higher order logic in terms of abstract Stone duality.
In which categories are first-order axiomatizable hulls characterizable by ultraproducts ?
Indexed categories for program development