[FOM] set theory

Kanovei kanovei at wmwap1.math.uni-wuppertal.de
Wed Mar 26 01:25:56 EST 2003

On Tue, 25 Mar 2003, Vladimir Sazonov wrote:

> After appearing and formalising, set theory became a part=20
> of mathematics, but its role for the rest of mathematics=20
> was always foundational, conceptual. Now, even if it is=20
> also considered as a branch of mathematics, trying to do=20
> something on large cardinals is still rather internal=20
> business of set theory.=20

As usual, connections between marginal branches are much 
more transparent. 
For instance, ergodic theory and descriptive set theory 
are pretty interconnected areas. 
As for the large cardinals, this domain always meant to 
taylor an integral foundational picture of the set universe, 
which remains, of course, an  internal business of set theory 
in the same sense as, eg, P=NP remains an  internal business of 
computer science.

Vladimir Kanovei

More information about the FOM mailing list