Related papers: Coherent Adequate Sets and Forcing Square
In this paper we derive a necessary condition for finite element method (FEM) convergence in $H^1(\Omega)$ as well as generalize known sufficient conditions. We deal with the piecewise linear conforming FEM on triangular meshes for…
These notes are extracted from the lectures on forcing axioms and applications held by professor Matteo Viale at the University of Turin in the academic year 2011-2012. Our purpose is to give a brief account on forcing axioms with a special…
Given two arbitrary closed sets in Euclidean space, a simple transversality condition guarantees that the method of alternating projections converges locally, at linear rate, to a point in the intersection. Exact projection onto nonconvex…
We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be…
In this article, we derive conditions for the existence of solutions to state-constrained continuity inclusions in Wasserstein spaces whose right-hand sides may be discontinuous in time. These latter are based on a fine investigation of the…
We propose a new, game-theoretic, approach to the idealized forcing, in terms of fusion games. This generalizes the classical approach to the Sacks and the Miller forcing. For definable ($\mathbf{\Pi}^1_1$ on $\mathbf{\Sigma}^1_1)…
A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and…
A subjective expected utility policy making centre, managing complex, dynamic systems, needs to draw on the expertise of a variety of disparate panels of experts and integrate this information coherently. To achieve this, diverse supporting…
We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint encoding". We show that every composable constraint encoding…
In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored.…
A quasi-equilibrium problem is an equilibrium problem where the constraint set does depend on the reference point. It generalizes important problems such as quasi-variational inequalities and generalized Nash equilibrium problems. We study…
Coherent states in a projected Hilbert space have many useful properties. When there are conserved quantities, a representation of the entire Hilbert space is not necessary. The same issue arises when conditional observations are made with…
We present sufficient conditions for the existence of a periodic solution for a class of systems describing the periodically forced motion of a massive point on a compact surface with a boundary.
We consider a class of ordinary differential equations describing one-dimensional systems with a quasi-periodic forcing term and in the presence of large damping. We discuss the conditions to be assumed on the mechanical force and the…
We consider a class of singular ordinary differential equations describing analytic systems of arbitrary finite dimension, subject to a quasi-periodic forcing term and in the presence of dissipation. We study the existence of response…
Conformal prediction has recently emerged as a promising strategy for quantifying the uncertainty of a predictive model; these algorithms modify the model to output sets of labels that are guaranteed to contain the true label with high…
We lay the ground for an Isabelle/ZF formalization of Cohen's technique of forcing. We formalize the definition of forcing notions as preorders with top, dense subsets, and generic filters. We formalize the definition of forcing notions as…
The notion of an equational shell is studied to involve the objects and their environment. Appropriate methods are studied as valid embeddings of refined objects. The refinement process determines the linkages between the variety of…
The sequential equilibrium is a standard solution concept for extensive-form games with imperfect information that includes an explicit representation of the players' beliefs. An assessment consisting of a strategy and a belief is a…
In this paper, we give a necessary and sufficient condition for an even order three dimensional strongly symmetric circulant tensor to be positive semi-definite. In some cases, we show that this condition is also sufficient for this tensor…