相关论文: On some applications of strongly compact Prikry fo…
In this paper we report on some new results concerning the behavior of forces between two equal circular electrodes with finite thickness. We show that for close electrodes different scenarios can result, depending on the thickness and on…
Motivated by the existence of cyclic phenomena in which some characteristics are mapped into corresponding ones over more than one phase, we introduce the $r$-cyclic operators with respect to a covering of a metric space and investigate…
In this paper we show how the superquadratic functions can be used as a tool for researching other types of convex functions like $\phi $-convexity, strong-convexity and uniform convexity. We show how to use inequalities satisfied by…
In this paper, we develop the theory of symmetric triads with multiplicities. First, we classify abstract symmetric triads with multiplicities. Second, we determine the symmetric triads with multiplicities corresponding to commutative…
We consider symmetric Dirichlet forms on locally compact and non-locally compact spaces and provide an elementary proof for their closability with respect to energy dominant measures. We also discuss how to use known potential theoretic…
In this paper, we establish the compactification of the moduli space in symplectization and and studied the hidden symmetries of its boundary.
The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…
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…
Some fixed point results are given for a class of functional contractions acting on (reflexive) triangular symmetric spaces. Technical connections with the corresponding theories over (standard) metric and partial metric spaces are also…
In this paper, we introduce several classes of Prikry-type forcing notions, two of which are used to produce minimal generic extensions, and the third is applied in $\alpha$-recursion theory to produce minimal covers. The first forcing as a…
There is constructed and considered the extension of classical Diriclet operator corresponding to uniformly log-concave measure in the space of symmetric differential forms. Sufficient conditions for its essential self-adjointness in…
In this paper, we give a generalization of Hicks type contractions and Golet type contractions on fuzzy metric spaces. We prove some fixed point theorems for this new type contractions mappings on fuzzy metric spaces.
The notion of a symmetric extension extends the usual notion of forcing by identifying a particular class of names which forms an intermediate model of ZF between the ground model and the generic extension, and often the axiom of choice…
We introduce the forcing property "almost strong properness" which sits between properness and strong properness. As an application, we introduce a simple forcing with finite conditions to force $\rm MRP$.
A characterization of $\varkappa$-metrizable compacta in terms of extension of functions and usco retractions into superextensions is established.
We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals…
It is known that the set of possible cofinalities $\mathrm{pcf}(A)$ has good properties if $A$ is a progressive interval of regular cardinals. In this paper, we give an interval of regular cardinals $A$ such that $\mathrm{pcf}(A)$ has no…
In this work we analyze the Casimir energy and force for a {\it thick} piston configuration. This study is performed by utilizing the spectral zeta function regularization method. The results we obtain for the Casimir energy and force…
We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies…
It is nearly impossible to separate two interleaved phonebooks when held by their spines. A full understanding of this astonishing demonstration of solid friction in complex assemblies has remained elusive. In this Letter, we report on…