Related papers: Flatness and Nonforking without the Continuum Hypo…
We construct SU($N$) super Yang-Mills theories with extended supersymmetry on hypercubic lattices of various dimensions keeping one or two supercharges exactly. It is based on topological field theory formulation for the super Yang-Mills…
The main result of the paper is that a system of invariant subspaces of a (completely non-unitary) Hilbert space contraction $T$ with finite defects (rank$(I-T^*T)<\infty$, rank$(I-TT^*)<\infty$) is an unconditional basis (Riesz basis) if…
We continue the study of the AMNM property for weighted semilattices that was initiated in [Y. Choi, J. Austral. Math. Soc. 95 (2013), no. 1, 36-67; arXiv 1203.6691]. We reformulate this in terms of stability of filters with respect to a…
Our results in this paper increase the model-theoretic precision of a widely used method for building ultrafilters, and so advance the general problem of constructing ultrafilters whose ultrapowers have a precise degree of saturation. We…
We introduce exacting cardinals and a strengthening of these, ultraexacting cardinals. These are natural large cardinals defined equivalently as weak forms of rank-Berkeley cardinals, strong forms of J\'onsson cardinals, or in terms of…
In this paper, we consider two-dimensional N=(4,4) supersymmetric Yang-Mills (SYM) theory and deform it by a mass parameter M with keeping all supercharges. We further add another mass parameter m in a manner to respect two of the eight…
We propose a non-perturbative criterion to investigate whether supersymmetric lattice gauge theories preserving partial SUSY can have the desired continuum limit or not. Since the target continuum theories of the lattice models are extended…
We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…
We prove that a sequence of Fueter sections of a bundle of compact hyperkahler manifolds $\mathfrak X$ over a $3$-manifold $M$ with bounded energy converges (after passing to a subsequence) outside a $1$-dimensional closed rectifiable…
We show that the property of F-regularity does not deform, and thereby settle this longstanding open question in the theory of tight closure. Specifically, we construct a three dimensional domain R which is not F-regular (or even F-pure),…
We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to…
In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms…
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…
In arXiv:2004.01871 Satake introduced the notions of admissible triplets and good basic invariants for finite complex reflection groups. For irreducible finite Coxeter groups, he showed the existence and the uniqueness of good basic…
We show that non-flatness of a morphism f of complex-analytic spaces with a locally irreducible target Y of dimension n manifests in the existence of vertical components in the n-fold fibred power of the pull-back of f to the…
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…
The preservation theorems for semi-properness, hemi-properness, and pseudo-completeness hold for countable support iterations as well as revised countable support iterations, notwithstanding the fact that the "factor lemma" fails for the…
We study ultrafilters from the perspective of the algebra in the \v{C}ech-Stone compactification of the natural numbers, and idempotent elements therein. The first two results that we prove establish that, if $p$ is a Q-point (resp. a…
We study closure properties of measurable ultrapowers with respect to Hamkin's notion of "freshness" and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one…
We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a…