Showing 2006Show all
2 papers · 1 filter
math.LO2006
On Weak and Strong Interpolation in Algebraic Logics
Gabor Sagi, Saharon Shelah
We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds, but a strong…
math.CO2006
Representation of ideals of relational structures
C. Delhomme, M. Pouzet, G. Sagi +1
The \textit{age} of a relational structure of signature is the set of its finite induced substructures, considered up to isomorphism. This is a…