Prpgram:
-Existence of ordinary matter as a mathematical problem
-the existence of the thermodynamic limit
-One concrete way to model molecules: Density Functional theory and its mathematical structure
-Existence/non-existence of relativistic matter, Dirac Operator on scalar fields
-Spinors, Second Quantization and Fock space