For a real analytic periodic function 𝜙: ℝ→ℝ, an integer 𝑏≥2 and 𝜆∈(1/𝑏,1), we prove the following dichotomy for the Weierstrass-type function 𝑊(𝑥)=∑_{𝑛≥0} 𝜆^𝑛 𝜙(𝑏^𝑛 𝑥): Either W(x) is real analytic, or the Hausdorff dimension of its graph is equal to 2+log𝑏𝜆. Furthermore, given b and 𝜙, the former alternative only happens for finitely many 𝜆 unless 𝜙 is constant.

The ``principle of the fermionic projector'' provides a new mathematical framework for the formulation of physical theories and is a promising approach for physics beyond the standard model. The book begins with a brief review of relativity, relativistic quantum mechanics and classical gauge theories, with the emphasis on the basic physical concepts and the mathematical foundations. The external field problem and Klein's paradox are discussed and then resolved by introducing the so-called fermionic projector, a global object in space-time which generalizes the notion of the Dirac sea. The mathematical core of the book is to give a precise definition of the fermionic projector and to employ methods of hyperbolic differential equations for its detailed analysis. The fermionic projector makes it possible to formulate a new type of variational principles in space-time. The mathematical tools for the analysis of the corresponding Euler-Lagrange equations are developed. A particular variational principle is proposed which gives rise to an effective interaction showing many similarities to the interactions of the standard model. The main chapters of the book are easily accessible for beginning graduate students in mathematics or physics. Several appendices provide supplementary material which will be useful to the experienced researcher.

No abstract uploaded!

No abstract uploaded!

Woodin has demonstrated that, in the presence of large cardinals, there is a single model of ZFC which is maximal for Π_{2}-sentences over the structure ($H$($ω$_{2}), ∈, NS_{$ω$1}), in the sense that its ($H$($ω$_{2}), ∈, NS_{$ω$1}) satisfies every Π_{2}-sentence$σ$for which ($H$($ω$_{2}), ∈, NS_{$ω$1}) ⊨$σ$can be forced by set-forcing. In this paper we answer a question of Woodin by showing that there are two Π_{2}-sentences over the structure ($H$($ω$_{2}), ∈,$ω$_{1}) which can each be forced to hold along with the continuum hypothesis, but whose conjunction implies $$ {2^{{{\aleph_0}}}}={2^{{{\aleph_1}}}} $$ . In the process we establish that there are two preservation theorems for not introducing new real numbers by a countable support iterated forcing which cannot be subsumed into a single preservation theorem.