Related papers: A Non-Constructive Proof of Cantor's Theorem
Keller's theorem relates the components of the macroscopic dielectric response of a binary two-dimensional composite system with those of the reciprocal system obtained by interchanging its components. We present a derivation of the theorem…
Constructor theory seeks to express all fundamental scientific theories in terms of a dichotomy between possible and impossible physical transformations - those that can be caused to happen and those that cannot. This is a departure from…
We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for $\Sigma_1$-sound set theory, ZFC$\not\vdash P<NP$.
The ternary Cantor set $C$, constructed by George Cantor in 1883, is probably the best known example of a perfect nowhere-dense set in the real line, but as we will see later, it is not the only one. The present article we will explore the…
The strong no loop conjecture states that a simple module of finite projective dimension over an artin algebra has no non-zero self-extension. The main result of this paper establishes this well known conjecture for finite dimensional…
We survey old and recent results on the problem of finding a complete set of rules describing the behavior of the power function, i.e. the function which takes a cardinal $\kappa$ to the cardinality of its power $2^\kappa$.
The paper proves that a bound on the averaged Jones' square function of a measure implies an upper bound on the measure. Various types of assumptions on the measure are considered. The theorem is a generalization of a result due to A. Naber…
We show the functional completeness for the connectives of the non-trivial negation inconsistent logic C by using a well-established method implementing purely proof-theoretic notions only. Firstly, given that C contains a strong negation,…
Obtained a new property of superposition of the generating functions ln(1/(1-F(x))), where F(x) - generating function with integer coefficients, which allows the construction a primality tests. The theorem which is based on compositions of…
A 1910 theorem of Brouwer characterizes the Cantor set as the unique totally disconnected, compact metric space without isolated points. A 1920 theorem of Sierpinski characterizes the rationals as the unique countable metric space without…
In 1994, John Cobb asked: given $N>m>k>0$, does there exist a Cantor set in $\mathbb R^N$ such that each of its projections into $m$-planes is exactly $k$-dimensional? Such sets were described for $(N,m,k)=(2,1,1)$ by L.Antoine (1924) and…
It is well-known that every commutative separable unital C*-algebra of real rank zero is a quotient of the C*-algebra of all compex continous functions defined on the Cantor cube. We prove a non-commutative version of this result by showing…
No quantitative theory describing all physical phenomena can be made if any arbitrary standard spacetime structure is assumed. This statement is a consequence of transforming the Peano arithmetic axioms into sentences with a physical…
We prove a generalized version of the no-broadcasting theorem, applicable to essentially \emph{any} nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with ``super-quantum'' correlations.…
We take an argument of G\"odel's from his ground-breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: the sentence $G$ says about itself that it is not provable, and $G$ is indeed not provable;…
A recent proof of Bell's theorem without inequalities [A. Cabello, Phys. Rev. Lett. 86, 1911 (2001)] is formulated as a Greenberger-Horne-Zeilinger-like proof involving just two observers. On one hand, this new approach allows us to derive…
We prove an analogue of the Ikehara theorem for positive non-increasing functions convergent to zero, generalising the results postulated in Diekmann, Kaper (1978, Nonlinear Anal. 2(6), 721--737) and Carr, Chmaj (2004, Proc. AMS 132(8),…
A version of the vacuum conservation theorem is proved which does not assume the existence of a time function nor demands stronger properties than the dominant energy condition. However, it is shown that a stronger stable version plays a…
The possibility of a fundamental consistency between the basic quantum principles and reduction (so-called wave function reduction) is reexamined. The mathematical description of an organized macroscopic device is constructed explicitly as…
The framework of a new scale invariant analysis on a Cantor set $C\subset $ $% I=[0,1] $, presented originally in {\it S. Raut and D. P. Datta, Fractals, 17, 45-52, (2009)}, is clarified and extended further. For an arbitrarily small…