117 research outputs found
On exact categories and applications to triangulated adjoints and model structures
We show that Quillen's small object argument works for exact categories under
very mild conditions. This has immediate applications to cotorsion pairs and
their relation to the existence of certain triangulated adjoint functors and
model structures. In particular, the interplay of different exact structures on
the category of complexes of quasi-coherent sheaves leads to a streamlined and
generalized version of recent results obtained by Estrada, Gillespie, Guil
Asensio, Hovey, J{\o}rgensen, Neeman, Murfet, Prest, Trlifaj and possibly
others.Comment: 38 pages; version 2: major revision, more explanation added at
several places, reference list updated and extended, misprints correcte
A semantic approach to interpolation
Craig interpolation is investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially
generalize known interpolation results; all the others are new. We also discuss someapplications of our results to the theory of institutions and of algebraic specifications,and a Craig-Robinson version of these results
CafeOBJ: Logical Foundations and Methodologies
CafeOBJ is an executable industrial strength multi-logic algebraic specification language which is a modern successor of OBJ and incorporates several new algebraic specification paradigms. In this paper we survey its logical foundations and present some of its methodologies
A semantic approach to interpolation
Craig interpolation is investigated for various types of formulae. By shifting the focus from syntactic to semantic interpolation, we generate, prove and classify a series of interpolation results for first-order logic. A few of these results non-trivially
generalize known interpolation results; all the others are new. We also discuss someapplications of our results to the theory of institutions and of algebraic specifications,and a Craig-Robinson version of these results
The Craig Interpolation Property in First-order G\"odel Logic
In this article, a model-theoretic approach is proposed to prove that the
first-order G\"odel logic, , as well as its extension
associated with first-order relational languages enjoy the
Craig interpolation property. These results partially provide an affirmative
answer to a question posed in [Aguilera, Baaz, 2017, Ten problems in G\"odel
logic]
Towards Toric Absolute Factorization
International audienceThis article gives an algorithm to recover the absolute factorization of a bivariate polynomial, taking into account the geometry of its monomials. It is based on algebraic criterions inherited from algebraic interpolation and toric geometry
- …