Related papers: Some applications of Supercompact Extender Based F…
This is an expository paper about several sophisticated forcing techniques closely related to standard finite support iterations of ccc partial orders. We focus on the four topics of ultrapowers of forcing notions, iterations along…
We present a new construction of high dimensional expanders based on covering spaces of simplicial complexes. High dimensional expanders (HDXs) are hypergraph analogues of expander graphs. They have many uses in theoretical computer…
In this paper we investigate a particular possibility to extend C(1,3) conformal symmetry using Heisenberg operators, and a related possibility to extend conformal supersymmetry using parabose operators. The symmetry proposed is of a simple…
An analysis of extension of Hamiltonian operators from lower order to higher order of matrix paves a way for constructing Hamiltonian pairs which may result in hereditary operators. Based on a specific choice of Hamiltonian operators of…
Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $\lambda>\kappa$ to $\kappa$) such that the composition still…
Clean metallic superlattice systems composed of alternating layers of superconducting and normal materials are considered, particularly aspects of the proximity effect as it affects the critical temperature. A simple model is used to…
It is well-known that the nonlinear coupling between a mechanical oscillator and a superconducting oscillator or optical cavity can be used to generate a Kerr-nonlinearity for the cavity mode. We show that the strength of this…
Generally, the normal displacement-based formation control has a sensing mode that requires the agent not only to have certain knowledge of its direction, but also to gather its local information characterized by nonnegative coupling…
Hadron amplitudes for interaction of pi and K nesons are constructed in composite superstring model
We consider the problem of under and over-approximating the image of general vector-valued functions over bounded sets, and apply the proposed solution to the estimation of reachable sets of uncertain non-linear discrete-time dynamical…
In the conjectured correspondence between supergravity and geodesic models on infinite-dimensional hyperbolic coset spaces, and E10/K(E10) in particular, the constraints play a central role. We present a Sugawara-type construction in terms…
We propose a uniform method of constructing ultrafilter extensions from canonical models, which is based on the similarity between ultrafilters and maximal consistent sets. This method can help us understand why the known ultrafilter…
Given a Fra\"{i}ss\'{e} class $\mathcal{K}$ and an infinite cardinal $\kappa,$ we define a forcing notion which adds a structure of size $\kappa$ using elements of $\mathcal{K}$, which extends the Fra\"{i}ss\'{e} construction in the case…
We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to…
A class of two-dimensional superintegrable systems on a constant curvature surface is considered as the natural generalization of some well known one-dimensional factorized systems. By using standard methods to find the shape-invariant…
We obtain a small ultrafilter number at $\aleph_{\omega_1}$. Moreover, we develop a version of the overlapping strong extender forcing with collapses which can keep the top cardinal $\kappa$ inaccessible. We apply this forcing to construct…
We prove two general results about the preservation of extendible and $C^{(n)}$-extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vop\v{e}nka's…
The concept of extended Hamiltonian systems allows the geometrical interpretation of several integrable and superintegrable systems with polynomial first integrals of degree depending on a rational parameter. Until now, the procedure of…
We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an…
We introduce heavily separable functors of the second kind and study them in three different situations. The first of these is with restrictions and extensions of scalars for modules over small preadditive categories. The second is with…