105 citations
3 papers
math.LO2003★ 1 cited
Prikry On Extenders, Revisited
Carmi Merimovich
We present a modification to the Prikry on Extenders forcing notion allowing the blow up of the power set of a large cardinal, change its cofinality to omega without adding bounded…
math.CO2003★ 105 cited
Dense graphs are antimagic
N. Alon, G. Kaplan, A. Lev +2
An {\em antimagic labeling} of a graph with edges and vertices is a bijection from the set of edges to the integers such that all vertex sums are pairwise dis…
cs.LO2002★ 3 cited
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning
Ofer Arieli, Marc Denecker, Bert Van Nuffelen +1
In this paper we consider two points of views to the problem of coherent integration of distributed data. First we give a pure model-theoretic analysis of the possible ways to `rep…