In this paper, we show that Markov’s principle is not derivable in dependent type theory with natural numbers and one universe. One tentative way to prove this would be to remark that Markov’s principle does not hold in a sheaf model of type theory over Cantor space, since Markov’s principle does not hold for the generic point of this model. It is however not clear how to interpret the universe...

An explicit method for the construction of a tight wavelet frame generated by the Walsh polynomials with the help of extension principles was presented by Shah (Shah, 2013). In this article, we extend the notion of wavelet frames to periodic wavelet frames generated by the Walsh polynomials on R by using extension principles. We first show that under some mild conditions, the periodization of a...

A unitary extension principle for constructing normalized tight wavelet frames of periodic functions of one or higher dimensions is established. While the wavelets are nonstationary, the method much simplifies their construction by reducing it to a matrix extension problem that involves finite rows of complex numbers. Further flexibility is achieved by reformulating the result as an oblique ext...

Software entities should be open for extension, but closed to modification. Unfortunately, unanticipated requirements emerging during software evolution makes it difficult to always enforce this principle. This situation poses a dilemma that is particularly important when considering component-based systems: On the one hand, violating the open/closed principle by allowing for modification compr...

The extension principles play an important role in characterizing and constructing of wavelet frames. The common extension principles, the unitary extension principle (UEP) or the oblique extension principle (OEP), are based on the unitarity of the modulation matrix. In this paper we state the UEP and OEP for refinable function vectors in the polyphase representation. Finally, we apply our resu...

We propose a reflection principle for holomorphic objects in Cn . Our construction generalizes the classical principle of H.Lewy, S.Pinchuk and S.Webster. Key-words: reflection principle, generic manifold, maximum modulus set, holomorphic extension. A.M.S. Classification: 32D15, 32D99, 32F25, 32H99.

We study a fuzzy fractional differential equation (FFDE) and present its solution using Zadeh's extension principle. The proposed study extends the case of fuzzy differential equations of integer order. We also propose a numerical method to approximate the solution of FFDEs. To solve nonlinear problems, the proposed numerical method is then incorporated into an unconstrained optimisation techni...

a new simple model is introduced for a liquid and an equation of state is derived based on this model and the statistical mechanical calculations. this equation of state works well for the non-polar and slightly polar liquids. the important conclusion that may be deduced from this equation of state is that if the reduced variables of state are chosen and defined appropriately, then, the princip...

The fuzzy extension principle has been widely used to extend the domain of mathematical functions and relations from elements of a referential set to fuzzy subsets of that referential set. However, there are restrictions associated with the fuzzy extension principle. This paper addresses the question how restricted is the family of “fuzzy set to fuzzy set mappings” obtained by the fuzzy extensi...