Location of Repository

This theory is for miscellanea which cannot be put in theory “rbjmisc ” because of dependencies on other theories. It consists primarily of things required in the documents on non well-founded set theories, but not specific to that work, which make use of galactic set theory or fixed point theory. Since I moved my non-well-founded foundational work back from set theory to combinatory logic using version of well-founded set theory with urelements it has been necessary to replicate those definitions required which depend upon well-founded set theory in the context of this other version of well founded set theory. For that reason this document is in the process of being restructured as three theories, one of material which does not depend on the well founded set theory, and one for materials dependent respectively on each of the two versions of well-founded set theory. Thes

Topics:
Last Change Date, 2010-11-21 10, 06, 32

Year: 2011

OAI identifier:
oai:CiteSeerX.psu:10.1.1.190.8707

Provided by:
CiteSeerX

Download PDF: