Location of Repository

More Miscellanea (misc1, misc2)

By Roger Bishop Jones

Abstract

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:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.rbjones.com/rbjpub/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.