[FOM] set theory

[Kanovei]

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