[FOM] The semantics of set theory
Ralf Schindler
rds at logic.univie.ac.at
Thu Oct 3 03:35:15 EDT 2002
On Thu, 3 Oct 2002, Kanovei wrote:
> Generally, there is no way to define ZFC-truth other than to
> extend the language of ZFC.
> Three typical methods are known.
[...]
> Third, consider a second-order impredicative theory of classes.
One doesn't need an *im*predicative theory of classes here, one can
do with predicative classes. (A class is predicative iff it can be
defined by a fmla of set theory + parameters for sets.) --Ralf
--
---------------------------------------------------------------------
Ralf Schindler Phone: +43-1-4277-50511
Institut fuer Formale Logik Fax: +43-1-4277-50599
Universitaet Wien E-mail: rds at logic.univie.ac.at
1090 Wien, Austria URL: http://www.logic.univie.ac.at/~rds/
---------------------------------------------------------------------
More information about the FOM
mailing list