SentRfn010503

SentRfn010503 - 1 SENTENTIAL REFLECTION by Harvey M....

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
1 SENTENTIAL REFLECTION by Harvey M. Friedman Ohio State University Princeton University friedman@math.ohio-state.edu http://www.math.ohio-state.edu/~friedman/ January 5, 2003 Abstract. We present two forms of “sentential reflection”, which are shown to be mutually interpretable with Z 2 and ZFC, respectively. 1. Introduction. We use “class” as a neutral term, without commitment to the developed notions of “set” and “class” that have become standard in set theory and mathematical logic. We use for membership. This framework supports interpretations of sentential reflection that may differ from conventional set theory or class theory. However, we do not pursue this direction here. This framework is intended to accommodate objects that are not classes. Such nonclasses are treated as classes with no elements. Thus we are careful not to assume extensionality. In fact, we will not assume any form of extensionality.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 3

SentRfn010503 - 1 SENTENTIAL REFLECTION by Harvey M....

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online