Related papers: Prikry-type forcing and minimal $\alpha$-degree
We investigate from an algebraic and topological point of view the minimal prime spectrum of a universal algebra, considering the prime congruences w.r.t. the term condition commutator. Then we use the topological structure of the minimal…
The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…
We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…
We examine extensions of the Standard Model (SM), basing our assumptions on what has already been observed; we don't consider anything fundamentally different, such as grand unification or supersymmetry, which is not directly suggested by…
In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…
We revisit the problem of defining non-minimal gravity in the first order formalism. Specializing to scalar-tensor theories, which may be disguised as `higher-derivative' models with the gravitational Lagrangians that depend only on the…
When grains are added to a cylinder, the weight at the bottom is smaller than the total weight of the column, which is partially supported by the lateral walls through wall/grain frictional forces. This is known as the Janssen effect. Via a…
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…
We develop sufficient analytic conditions for recurrence and transience of non-sectorial perturbations of possibly non-symmetric Dirichlet forms on a general state space. These form an important subclass of generalized Dirichlet forms which…
We devise a geometric description of bounded systems at criticality in any dimension $d$. This is achieved by altering the flat metric with a space dependent scale factor $\gamma(x)$, $x$ belonging to a general bounded domain $\Omega$.…
We examine the existence (and mostly non-existence) of fresh sets in commonly used iterations of Prikry type forcing notions. Results of [4] are generalized. As an application, a question of a referee of [9] is answered. In addition…
We prove that if $T$ is an $\omega$-categorical supersimple theory with nontrivial dependence (given by forking), then there is a nontrivial regular 1-type over a finite set of reals which is realized by real elements; hence forking induces…
We introduce a forcing that adds a $\square(\aleph_2,\aleph_0)$-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both…
Recently there have been discussions about which complex metrics should be allowable in quantum gravity. These discussions assumed that the matter fields were real valued. We make the observation that for compactified solutions it makes…
Let $\mathfrak{g}$ be a complex finite-dimensional semisimple Lie algebra and $\mathfrak{k}$ be any $\mathrm{sl}(2)$-subalgebra of $\mathfrak{g}$. In this paper we prove an earlier conjecture by Penkov and Zuckerman claiming that the first…
We investigate the rigidity of global minimizers $u \ge 0$ of the Alt-Phillips functional involving negative power potentials $$\int_\Omega \left(|\nabla u|^2 + u^{-\gamma} \chi_{\{u>0\}}\right) \, dx, \quad \quad \gamma \in (0,2),$$ when…
I investigate the relationships between three hierarchies of reflection principles for a forcing class $\Gamma$: the hierarchy of bounded forcing axioms, of $\Sigma^1_1$-absoluteness and of Aronszajn tree preservation principles. The latter…
This article develops several functional models for a given $\Gamma_n$-contraction. The first model is motivated by the Douglas functional model for a contraction. We then establish factorization results that clarify the relationship…
Cubic replicated field theory is used to study the glassy phase of the short-range Ising spin glass just below the transition temperature, and for systems above, at, and slightly below the upper critical dimension six. The order parameter…
Gentzen's classical sequent calculus LK has explicit structural rules for contraction and weakening. They can be absorbed (in a right-sided formulation) by replacing the axiom P,(not P) by Gamma,P,(not P) for any context Gamma, and…