Related papers: Forcing Square_{omega_1} with finite conditions
Here we obtain bounds on the spectrum of that operator whose inverse, when it exists, gives the Green's function. We consider the wide of physical problems that can be cast in a form where a constitutive equation ${\bf J}({\bf x})={\bf…
Complex structures can only form in a universe that allows for bound states. While this is clearly observed in three-dimensions, added degrees of freedom in a higher-dimensional space preclude the immediate assumption that binding…
Positive definite forms $f$ which are sums of squares are constructed to have the additional property that the members of any collection of forms whose squares sum to $f$ must share a nontrivial complex root.
We consider the finite temperature Casimir force acting on two parallel plates in a closed cylinder with the same cross section of arbitrary shape in the presence of extra dimensions. Dirichlet boundary conditions are imposed on one plate…
We present a framework for model theoretic forcing in a non-first-order context, and present some applications of this framework to Banach space theory.
In this paper we prove that the initial-boundary value problem for the forced non-linear Schroedinger equation with a potential on the half-line is locally and (under stronger conditions) globally well posed, i.e. that there is a unique…
Assuming 0# does not exist, we present a combinatorial approach to Jensen's method of coding by a real. The forcing uses combinatorial consequences of fine structure (including the Covering Lemma, in various guises), but makes no direct…
We consider the 2D incompressible Euler equation on a bounded simply connected domain $\Omega$. We give sufficient conditions on the domain $\Omega$ so that for all initial vorticity $\omega_0 \in L^{\infty}(\Omega)$ the weak solutions are…
In this paper we investigate some properties of forcing which can be considered "nice" in the context of singularizing regular cardinals to have an uncountable cofinality. We show that such forcing which changes cofinality of a regular…
The paper introduces a finite element method for the incompressible Navier--Stokes equations posed on a closed surface $\Gamma\subset\R^3$. The method needs a shape regular tetrahedra mesh in $\mathbb{R}^3$ to discretize equations on the…
We construct a model in which the tree property holds in $\aleph_{\omega + 1}$ and it is destructible under $\text{Col}(\omega, \omega_1)$. On the other hand we discuss some cases in which the tree property is indestructible under small or…
This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cicho\'n diagram. First I…
A subset of $\mathbb{C}^7$ (respectively, of $\mathbb{C}^5$) associated with the structured singular value $\mu_E$, defined on $3 \times 3$ matrices, is denoted by $G_{E(3;3;1,1,1)}$ (respectively, by $G_{E(3;2;1,2)}$). In control…
We identify new sufficiency conditions for coercivity of general multivariate polynomials $f\in\mathbb{R}[x]$ which are expressed in terms of their Newton polytopes at infinity and which consist of a system of affine-linear inequalities in…
We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong…
Let $\Bbb F_q$ be a finite field with $q$ elements and $n$ a positive integer. Mart\'inez, Vergara and Oliveira \cite{MVO} explicitly factorized $x^{n} - 1$ over $\Bbb F_q$ under the condition of $rad(n)|(q-1)$. In this paper, suppose that…
We prove that the forcing axiom $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ implies $\Box_{\omega_1, \omega_1}$. Using this implication, we show that the forcing axiom $MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$ is inconsistent. We also derive weak…
The stability, robustness, accuracy, and efficiency of space-time finite element methods crucially depend on the choice of approximation spaces for test and trial functions. This is especially true for high-order, mixed finite element…
We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power…
Forcing was first introduced by Paul J. Cohen in his work on the independence of the Continuum Hypothesis. Other formulations of forcing appeared using Model Theory, Boolean-valued Models, and Topos Theory. There is a folkloric claim that…