Related papers: Strongly compct diagonal Prikry forcing
We say that a finite set S of points in R^d is in "strong general position" if for any collection {F_1,..., F_r} of r pairwise disjoint subsets of S (1 <= r <= |S|) we have: d-dim (the intersection of aff F_1,aff F_2,...,aff F_r) = min{d+1,…
We study the normal and lateral effective critical Casimir forces acting on a spherical colloid immersed in a critical binary solvent and close to a chemically structured substrate with alternating adsorption preference. We calculate the…
We present a method using contour integration to derive definite integrals and their associated infinite sums which can be expressed as a special function. We give a proof of the basic equation and some examples of the method. The advantage…
We investigate the strong force fields and stabilities of the nucleon and the singly heavy baryon $\Sigma_c$ within the framework of the chiral quark-soliton model. Having constructed the pion mean fields in the presence of the $N_c-1$…
We summarise a recently introduced general canonical formulation of discrete systems which is fully equivalent to the covariant formalism. This framework can handle varying phase space dimensions and is applied to simplicial gravity in…
Strongly-cyclic branched coverings of knots are studied by using their (g,1)-decompositions. Necessary and sufficient conditions for the existence and uniqueness of such coverings are obtained. It is also shown that their fundamental groups…
We investigate toric varieties defined by arrangements of hyperplanes and call them strongly symmetric. The smoothness of such a toric variety translates to the fact that the arrangement is crystallographic. As a result, we obtain a…
We study the question, what computational power is sufficient to perform constructions using either Laver or Hechler forcing. As a result, we obtain a separation between three relativised non-lowness classes that are the…
We prove that successors of singular limits of strongly compact cardinals have the strong tree property. We also prove that aleph_{omega+1} can consistently satisfy the strong tree property.
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 present a version with non-definable forcing notions of Shelah's theory of iterated forcing along a template. Our main result, as an application, is that, if $\kappa$ is a measurable cardinal and $\theta<\kappa<\mu<\lambda$ are…
We extend and improve the result of Makkai and Par\'e that the powerful image of any accessible functor F is accessible, assuming there exists a sufficiently large strongly compact cardinal. We reduce the required large cardinal assumption…
We consider a sub-class of the $f$-divergences satisfying a stronger convexity property, which we refer to as strongly convex, or $\kappa$-convex divergences. We derive new and old relationships, based on convexity arguments, between…
A pseudoclassical model, reproducing, upon quantization, the dynamics of the chiral sectors of the massless spin-1/2 field theory is proposed. The discrete symmetries of the action are studied in details. In order to reproduce the positive…
We use mathematical induction to prove that the horizontal composition in the class of coherently diagonal complexes is indeed a binary operation. That is to say, the embedding of two coherently diagonal complexes in an alternating planar…
A proof is given that hard-scattering factorization is valid for deep-inelastic processes which are diffractive or which have some other condition imposed on the final state in the target fragmentation region.
We show that the notions of generic and Laver-generic supercompactness are first-order definable in the language of ZFC. This also holds for generic and Laver-generic (almost) hugeness as well as for generic versions of other large…
We generalize overlap fermion by Narayanan and Neuberger by introducing a hopping parameter t. This lattice fermion has desirable properties as the original overlap fermion. We expand "Dirac" operator of this fermion in powers of t.…
We consider exact/quasi-exact solvability of Dirac equation with a Lorentz scalar potential based on factorizability of the equation. Exactly solvable and $sl(2)$-based quasi-exactly solvable potentials are discussed separately in Cartesian…
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…