Related papers: Proper forcing remastered
In this paper, we are interested in a Neumann-type series for modified Bessel functions of the first kind which arises in the study of Dunkl operators associated with dihedral groups and as an instance of the Laguerre semigroup constructed…
The late-time phase-ordering kinetics of the O(n) model for a non-conserved order parameter are considered for the case where the O(n) symmetry is broken by the initial conditions or by an external field. An approximate theoretical…
We force superclub with an arbitrary large value of cov($\mathscr{M}$). We force tiltan with an arbitrary large value of add($\mathscr{M}$). Finally, we obtain a negative square bracket relation from superclub.
We describe two different approaches for incorporating systematics into analyses for parameter determination in the physical sciences. We refer to these as the Pragmatic and the Full methods, with the latter coming in two variants: Full…
We construct solutions of the Friedmann equations near a sudden singularity using generalized series expansions for the scale factor, the density, and the pressure of the fluid content. In this way, we are able to arrive at a solution with…
Under the validity of a Landesman-Lazer type condition, we prove the existence of solutions bounded on the real line, together with their first derivatives, for some second order nonlinear differential equation of the form $\ddot u + g(u) =…
Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic…
These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies…
We give some sufficient and necessary conditions on a forcing notion Q for preserving the forcing notion ([omega]^{aleph_0},supseteq^*) is proper. They cover many reasonable forcing notions.
In this paper we continue the study of equivalence of generics filters started by Smythe in [Smy22]. We fully characterize those forcing posets for which the corresponding equivalence of generics is smooth using the purely topological…
We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations…
We define a $\sigma$-centered notion of forcing that forces the existence of a Boolean algebra with the Grothendieck property and without the Nikodym property. In particular the existence of such an algebra is consistent with the negation…
In this paper, we investigate the well-posedness of weak solutions to the time-fractional Fokker-Planck equation. Its dynamics is governed by anomalous diffusion, and we consider the most general case of space-time dependent forces.…
We obtain closed-form solutions of several inhomogeneous Lienard equations by the factorization method. The two factorization conditions involved in the method are turned into a system of first-order differential equations containing the…
We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…
With view to applications, we establish a correspondence between two problems: (i) the problem of finding continuous positive definite extensions of functions $F$ which are defined on open bounded domains $\Omega$ in $\mathbb{R}$, on the…
We introduce descent methods to the study of strong approximation on algebraic varieties. We apply them to two classes of varieties defined by P(t)=N_{K/k}(z): firstly for quartic extensions of number fields K/k and quadratic polynomials…
Farkas' lemma is an ubiquitous tool in optimisation, as it provides necessary and sufficient conditions to have $b \in A(P)$, where $P$ is a closed convex cone, $A$ is a (continuous) linear mapping and $b$ is a fixed vector. The standard…
This paper addresses a doubly nonlinear parabolic inclusion of the form $A(u_t)+B(u)\ni f$. Existence of a solution is proved under suitable monotonicity, coercivity, and structure assumptions on the operators $A$ and $B$, which in…
We adapt (over $\mathbb{F}_2$) the general notions of multiplicative function, Dirichlet convolution and Inverse. We get some interesting results, namely necessary conditions for an odd binary polynomial to be perfect. Note that we are…