Related papers: Proper forcing remastered
The purpose of this article is to give a presentation of the method of forcing aimed at someone with a minimal knowledge of set theory and logic. The emphasis will be on how the method can be used to prove theorems in ZFC.
In a partially ordered semigroup with the duality (or polarity) transform, it is possible to define a generalisation of continued fractions. General sufficient conditions for convergence of continued fractions with deterministic terms are…
A finite transformation method is introduced. This method is equivalent to the $Z$ transform method to a certain extent but generalizes it. By applying the presented method to the Bessel functions, it is possible to solve related ordinary…
We develop the non-normal variations of two classical Prikry-type forcings; namely, Magidor and Radin forcings. We generalize the fact that the non-normal Prikry forcing is a projection of the extender-based to a coordinate of the extender…
We present reasons for developing a theory of forcing notions which satisfy the properness demand for countable models which are not necessarily elementary submodels of some (H(chi), in). This leads to forcing notions which are…
We take advantage of the superspace formalism and explicitly find the N=2 supersymmetric extension of the Maxwell Chern-Simons model. In our construction a special form of a potential term and indispensability of an additional neutral…
The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…
We prove that the one-dimensional Euler-Poisson system driven by the Poisson forcing together with the usual γ-law pressure, γ ≥ 1, admits global solutions for a large class of initial data. Thus, the Poisson forcing…
With every $\sigma$-ideal $I$ on a Polish space we associate the $\sigma$-ideal $I^*$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $\sigma$-ideals $I$ and $I^*$ and find connections…
This article establishes local strong well-posedness and global strong well-posedness close to constant equilibria of a model coupling the primitive equations of ocean and atmospheric dynamics with Hibler's viscous-plastic sea ice model. In…
Higman's lemma states that for any well partial order $X$, the partial order $X^*$ of finite sequences with members from $X$ is also well. By combining results due to Girard as well as Sch\"{u}tte and Simpson, one can show that Higman's…
A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing…
We consider a class of second order ordinary differential equations describing one-dimensional systems with a quasi-periodic analytic forcing term and in the presence of damping. As a physical application one can think of a…
In this paper, we consider the problem of solving a constrained system of nonlinear equations. We propose an algorithm based on a combination of the Newton and conditional gradient methods, and establish its local convergence analysis. Our…
I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included.
In Part I of the present series of papers, we adumbrate our idea of Riemannian geometry to higher order in the infinitesimals and derive expressions for the appropriate generalizations of parallel transport and the Riemannian curvature…
Using the tools of reverse mathematics in second-order arithmetic, as developed by Friedman, Simpson, and others, we determine the axioms necessary to develop various topics in commutative ring theory. Our main contributions to the field…
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the…
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 provide a variational derivation of the Euler-Poincar\'e equations for systems subjected to external forces using an adaptation of the techniques introduced by Galley and others. Moreover, we study in detail the underlying…