Richard Kaye and Tin Lok Wong, School of Mathematics, University of Birmingham, Birmingham, B15 2TT, U.K.
Notre Dame Journal of Formal Logic Volume 48, Number 4 (2007), 497-510. doi:10.1305/ndjfl/1193667707
Keywords: Peano arithmetic; finite set theory; interpretations
Abstract: we investigate the Ackermann interpretation of finite set theory in arithmetic and its inverse, exporing particularly the set theory axioms that are required and hierarchical versions of the results for subsystems.
Available in: PDF FORMAT and DVI FORMAT.
Richard Kaye. Home page: http://web.mat.bham.ac.uk/R.W.Kaye/
This page is copyright. Web page design and creation by GLOSS.