ML-1996-04: Proper Classes

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

	Text (Full Text) ML-1996-04.text.ps.gz Download (77kB)
	Text (Abstract) ML-1996-04.abstract.txt Download (372B)

Abstract

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
URI:	https://eprints.illc.uva.nl/id/eprint/1373

Actions (login required)

View Item