@inbook{2be94b946c9a47c781ffcf371f4eaad1,
title = "Binary Relations as a Foundation of Mathematics",
abstract = "We describe a theory for binary relations in the Zermelo-Fraenkel style. We choose for ZFCU, a variant of ZFC Set theory in which the Axiom of Foundation is replaced by an axiom allowing for non-wellfounded sets. The theory of binary relations is shown to be equi-consistent ZFCU by constructing a model for the theory of binary relations in ZFU and vice versa. Thus, binary relations are a foundation for mathematics in the same sense as sets are.",
keywords = "IR-64509, EWI-11511, METIS-245832",
author = "Jan Kuper",
year = "2007",
month = dec,
day = "17",
language = "Undefined",
isbn = "978-90-9022446-6",
publisher = "Radboud University",
number = "Supplement",
pages = "223--232",
editor = "E. Barendsen and V. Capretta and H. Geuvers and M. Niqui",
booktitle = "Reflections on Type Theory, Lambda Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday",
}