Focuses on the relationship between definable forcing and descriptive set theory; the forcing serves as a tool for proving independence of inequalities between cardinal invariants of the continuum.

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C*-algebra using set-theoretic methods, many achieved by the author and his collaborators, have generated new interest in this subject. This is the first book aimed at explaining forcing to general mathematicians. It simultaneously makes the subject broadly accessible by explaining it in a clear, simple manner, and surveys advanced applications of set theory to mainstream topics.

Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text presents a largely balanced approach to the subject, which combines many elements of the different traditions. It includes a wide variety of examples, more than 400 exercises, and applications, in order to illustrate the general concepts and results of the theory.

This book introduces a new research direction in set theory: the study of models of set theory with respect to their extensional overlap or disagreement. In Part I, the method is applied to isolate new distinctions between Borel equivalence relations. Part II contains applications to independence results in Zermelo–Fraenkel set theory without Axiom of Choice. The method makes it possible to classify in great detail various paradoxical objects obtained using the Axiom of Choice; the classifying criterion is a ZF-provable implication between the existence of such objects. The book considers a broad spectrum of objects from analysis, algebra, and combinatorics: ultrafilters, Hamel bases, transcendence bases, colorings of Borel graphs, discontinuous homomorphisms between Polish groups, and many more. The topic is nearly inexhaustible in its variety, and many directions invite further investigation.

Introduction and preliminaries Linear fractional maps with an interior fixed point Non elliptic automorphisms The parabolic non automorphism Supercyclic linear fractional composition operators Endnotes Bibliography.

The main objective of this paper is to prove the monodromy conjecture for the local Igusa zeta function of a quasi-ordinary polynomial of arbitrary dimension defined over a number field. In order to do it, we compute the local Denef-Loeser motivic zeta function $Z_{\text{DL}}(h,T)$ of a quasi-ordinary power series $h$ of arbitrary dimension over an algebraically closed field of characteristic zero from its characteristic exponents without using embedded resolution of singularities. This allows us to effectively represent $Z_{\text{DL}}(h,T)=P(T)/Q(T)$ such that almost all the candidate poles given by $Q(T)$ are poles. Anyway, these candidate poles give eigenvalues of the monodromy action on the complex $R\psi_h$ of nearby cycles on $h^{-1}(0).$ In particular we prove in this case the monodromy conjecture made by Denef-Loeser for the local motivic zeta function and the local topological zeta function. As a consequence, if $h$ is a quasi-ordinary polynomial defined over a number field we prove the Igusa monodromy conjecture for its local Igusa zeta function.

Introduction Dessins d'enfants Discrete Dessins via circle packing Uniformizing Dessins A menagerie of Dessins d'enfants Computational issues Additional constructions Non-equilateral triangulations The discrete option Appendix: Implementation Bibliography.