Related papers: Flatness and Nonforking without the Continuum Hypo…
A union ultrafilter is an ultrafilter over the finite subsets of $\omega$ that has a base of sets of the form $\mathrm{FU}(X)$, where $X$ is an infinite pairwise disjoint family and $\mathrm{FU}(X)=\{\bigcup…
A conjecture in algorithmic model theory predicts that the model-checking problem for first-order logic is fixed-parameter tractable on a hereditary graph class if and only if the class is monadically dependent. Originating in model theory,…
Generalizing the proof for Sacks forcing, we show that the $h$-perfect tree forcing notions introduced by Goldstern, Judah and Shelah preserve selective independent families even when iterated. As a result we obtain new proofs of the…
Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…
The main tool in Ng\^o Bao Ch\^au's proof of the Langlands-Shelstad fundamental lemma, is a theorem on the support of the relative cohomology of the elliptic part of the Hitchin fibration. For GL(n) and a divisor of degree >2g-2, the…
This paper investigates asymptotic fixed point results for nonlinear contractions, with emphasis on Kirk-type theorems and their generalizations. A central difficulty in the literature has been the requirement that the mapping possesses a…
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class forcing extension which…
A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…
We briefly present our version of noncommutative analysis over matrix algebras, the algebra of biquaternions ($\mathbb B$) in particular. We demonstrate that any $\mathbb B$-differentiable function gives rise to a null shear-free congruence…
By applying new functional analysis tools in the framework of Fourier interpolation formulas, such as sc-Fredholm operators and Schauder frames, we are able to improve and refine several properties of these aforementioned formulas on the…
Starting from a general $\mathcal{N} = 2$ SCFT, we study the network of $\mathcal{N} = 1$ SCFTs obtained from relevant deformations by nilpotent mass parameters. We also study the case of flipper field deformations where the mass parameters…
This paper contributes to the set-theoretic side of understanding Keisler's order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\lcf(\aleph_0, \de)$ of $\aleph_0$ modulo $\de$,…
Shelah shows that certain revised countable support (RCS) iterations do not add reals. His motivation is to establish the independence (relative to large cardinals) of Avraham's problem on the existence of uncountable non-constuctible…
This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering…
Quantum field theories with quenched disorder are so hard to study that even exactly solvable free theories present puzzling aspects. We consider a free scalar field $\phi$ in $d$ dimensions coupled to a random source $h$ with quenched…
We review some of the problems associated with deriving field theoretic results from nonsupersymmetric AdS, focusing on how to control the behavior of the field theory along the flat directions. We discuss an example in which the origin of…
This article is a Bourbaki seminar report on Ngo Bao Chau's proof of the fundamental lemma. About thirty years ago, R. P. Langlands conjectured a collection of identities to hold among integrals over conjugacy classes in reductive groups.…
In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…
We consider the family of renormalizable scalar QFTs with self-interacting potentials of highest monomial $\phi^{m}$ below their upper critical dimensions $d_c=\frac{2m}{m-2}$, and study them using a combination of CFT constraints,…
We examine the dependence of four-dimensional Euclidean $\mathcal{N}=1$ partition functions on coupling constants. In particular, we focus on backgrounds without R-symmetry, which arise in the rigid limit of old minimal supergravity.…