ML-1996-04: Proper Classes

ML-1996-04: Doets, Kees (1996) Proper Classes. [Report]

[img] Text (Full Text)

Download (77kB)
[img] Text (Abstract)

Download (372B)


A formula $\Phi(x)$ in the one non­logical symbol $E$ with one free variable $x$ is Russell if the sentence $\not \exists r \forall x (x E r \iff \Phi(x))$ is logically valid. This note describes a pattern common to the classical examples of Russell formulas, adds a couple of new ones, and constructs many formulas that are near­Russell.

Item Type: Report
Report Nr: ML-1996-04
Series Name: Mathematical Logic and Foundations (ML)
Year: 1996
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item