@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",

}