Related papers: Tame pseudofinite theories with wild pseudofinite …
We define a reasonably well-behaved class of ultraimaginaries, i.e.\ classes modulo invariant equivalence relations, called {\em tame}, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple…
We realize four-dimensional N=2 superconformal quiver gauge theories with alternating SO and USp gauge groups as compactifications of the six-dimensional D_N theory with defects. The construction can be used to analyze infinitely…
We introduce the theory $\mathrm{PF}^{+,\times}$ of pseudofinite fields with generic additive and multiplicative character added as continuous logic predicates. Using the Weil bounds on character sums over finite fields as well as the…
We observe that the nonstandard finite cardinality of a definable set in a strongly minimal pseudofinite structure D is a polynomial over the integers in the nonstandard finite cardinality of D. We conclude that D is unimodular, hence also…
We derive four-dimensional effective theories for warped compactification of the ten-dimensional IIB supergravity and the eleven-dimensional Horava-Witten model. We show that these effective theories allow a much wider class of solutions…
This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first order theory of finite groups. The focus is on concepts from stability theory…
We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in…
We prove that the free product of two finitely presented locally tame groups is locally tame and describe many examples of tame subgroups of finitely presented groups. We also include some open problems related to tame subgroups.
We investigate tameness of Toeplitz shifts. By introducing the notion of extended Bratteli-Vershik diagrams, we show that such shifts with finite Toeplitz rank are tame if and only if there are at most countably many orbits of singular…
We study a class of two-dimensional ${\cal N}=(0, 4)$ quiver gauge theories that flow to superconformal field theories. We find dualities for the superconformal field theories similar to the 4d ${\cal N}=2$ theories of class ${\cal S}$,…
We investigate the theory of finite observables, i.e., resolutions of the finite-dimensional identity by means of positive operators, that have a physical interpretation in terms of measurement schemes. We focus on extremal and rank-one…
According to modern quantum physics, at the microlevel, the dimension of space-time is at least 11; we only observe 4 dimensions because the others are compactified: the size along each of the other dimensions is much smaller than the…
We construct renormalizable, asymptotically free, four dimensional gauge theories that dynamically generate a fifth dimension.
We give an intrinsic parametrisation of the set of tamely ramified extensions of a local field with finite residue field and bring to the fore the role played by group cohomology. We show that two natural definitions of the cohomology class…
Birge Huisgen-Zimmermann calls a finite dimensional algebra homologically tame provided the little and the big finitistic dimension are equal and finite. The question formulated in the title has been discussed by her in the paper…
We show how toroidally-compactified eleven-dimensional supergravity can be consistently truncated to yield a variety of maximally-supersymmetric ``massive'' supergravities in spacetime dimensions $D\le 8$. The mass terms arise as a…
Working in a theory with an integer-valued dimension on interpretable sets, we classify pseudofinite definably primitive permutation groups acting on one-dimensional sets which satisfy a version of chain condition on centralizers and on…
We use non-perturbative U-duality symmetries of type II strings to construct new vacuum solutions. In some ways this generalizes the F-theory vacuum constructions. We find the possibilities of new vacuum constructions are very limited.…
Power-counting arguments based on extended superfields have been used to argue that two-dimensional supersymmetric sigma models with (4,0) supersymmetry are finite. This result is confirmed up to three loop order in pertubation theory by an…
In this paper, we give appropriate languages in which the theory of tame fields (of any characteristic) admits (relative) quantifier elimination.