In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality. Similar results for paraconsistent set theories were obtained in author papers [13]-[16].

In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.

In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .

In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic logic with restricted modus ponens rule.

A new non-Archimedean approach to interacted quantum fields is presented. In proposed approach, a field operator φ(x,t) no longer a standard tempered operator-valued distribution, but a non-classical operator-valued function. We prove using this novel approach that the quantum field theory with Hamiltonian P(φ)_4 exists and that the corresponding C^*­ algebra of bounded observables satisfies all the Haag-Kastler axioms except Lorentz covariance. We prove that the λ(φ^2n )_4,n≥2 quantum field theory models are Lorentz covariant.

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.

FOURTH EUROPEAN CONGRESS OF MATHEMATICS STOCKHOLM,SWEDEN JUNE27 ­ - JULY 2, 2004 Contributed papers L. Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z and Τ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem (...) can be stated in terms of a maximal Fourier multiplier theorem [5]. Inequalities for such operators can be transferred between these three Euclidean groups, and was done P. Auscher and M.J. Carro [3]. But L. Carleson’s original proof and another proofs very long and very complicated. We give a very short and very “simple” proof of this fact. Our proof uses PNSA technique only, developed in part I, and does not uses complicated technical formations unavoidable by the using of purely standard approach to the present problems. In contradiction to Carleson’s method, which is based on profound properties of trigonometric series, the proposed approach is quite general and allows to research a wide class of analogous problems for the general orthogonal series. (shrink)

This book deals with Colombeau solutions to Einstein field equations in general relativity: Gravitational singularities, distributional SAdS BH spacetime-induced vacuum dominance. This book covers key areas of Colombeau nonlinear generalized functions, distributional Riemannian, geometry, distributional schwarzschild geometry, Schwarzschild singularity, Schwarzschild horizon, smooth regularization, nonsmooth regularization, quantum fields, curved spacetime, vacuum fluctuations, vacuum dominance etc. This book contains various materials suitable for students, researchers and academicians of this area.

A new non-Archimedean approach to interacted quantum fields is presented. In proposed approach, a field operator φ(x,t) no longer a standard tempered operator-valued distribution, but a non-classical operator-valued function. We prove using this novel approach that the quantum field theory with Hamiltonian P(φ)_4 exists and that the corresponding C^*­ algebra of bounded observables satisfies all the Haag-Kastler axioms except Lorentz covariance. We prove that the λ(φ^4 )_4 quantum field theory model is Lorentz covariant.

In this paper paraconsistent first-order logic LP^{#} with infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#} is discussed.Axiomatical system HST^{#}as paraconsistent generalization of Hrbacek set theory HST is considered.

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

We present a new approach to the invariant subspace problem for complex Hilbert spaces.This approach based on nonconservative Extension of the Model Theoretical NSA. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace.

In this paper we view the first order set theory ZFC under the canonical frst order semantics and the second order set theory ZFC_2 under the Henkin semantics. Main results are: (i) Let M_st^ZFC be a standard model of ZFC, then ¬Con(ZFC + ∃M_st^ZFC ). (ii) Let M_stZFC_2 be a standard model of ZFC2 with Henkin semantics, then ¬Con(ZFC_2 +∃M_stZFC_2). (iii) Let k be inaccessible cardinal then ¬Con(ZFC + ∃κ). In order to obtain the statements (i) and (ii) examples of (...) the inconsistent countable set in a set theory ZFC + ∃M_stZFC and in a set theory ZFC2 + ∃M_st^ZFC_2 were derived. It is widely believed that ZFC + ∃M_stZFC and ZFC_2 + ∃M_st^ZFC_2 are consistent, i.e. ZFC and ZFC_2 have a standard models. Unfortunately this belief is wrong. Book. Advances in Mathematics and Computer Science Vol. 1 Chapter 3 There is No Standard Model of ZFC and ZFC2 ISBN-13 (15) 978-81-934224-1-0 See Part II of this paper DOI: 10.4236/apm.2019.99034 . (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the existence (...) of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

The cosmological constant problem arises because the magnitude of vacuum energy density predicted by the Quantum Field Theory is about 120 orders of magnitude larger then the value implied by cosmological observations of accelerating cosmic expansion. We pointed out that the fractal nature of the quantum space-time with negative Hausdorff-Colombeau dimensions can resolve this tension. The canonical Quantum Field Theory is widely believed to break down at some fundamental high-energy cutoff ∗ Λ and therefore the quantum fluctuations in the vacuum (...) can be treated classically seriously only up to this high-energy cutoff. In this paper we argue that the Quantum Field Theory in fractal space-time with negative Hausdorff-Colombeau dimensions gives high-energy cutoff on natural way. We argue that there exists hidden physical mechanism which cancels divergences in canonical QED4 ,QCD4 , Higher-Derivative-Quantum gravity, etc. In fact we argue that corresponding supermassive Pauli-Villars ghost fields really exist. It means that there exists the ghost-driven acceleration of the universe hidden in cosmological constant. In order to obtain the desired physical result we apply the canonical Pauli-Villars regularization up to ∗ Λ . This would fit in the observed value of the dark energy needed to explain the accelerated expansion of the universe if we choose highly symmetric masses distribution between standard matter and ghost matter below the scale ∗ Λ , i.e. , ( ) ( ) . . eff eff s m g m , , , f μ f μ μ mc μ μ μ c ∗  − = ≤ < Λ The small value of the cosmological constant is explained by tiny violation of the symmetry between standard matter and ghost matter. Dark matter nature is also explained using a common origin of the dark energy and dark matter phenomena. (shrink)

The vacuum energy density of free scalar quantum field Φ in a Rindler distributional space-time with distributional Levi-Cività connection is considered. It has been widely believed that, except in very extreme situations, the influence of acceleration on quantum fields should amount to just small, sub-dominant contributions. Here we argue that this belief is wrong by showing that in a Rindler distributional background space-time with distributional Levi-Cività connection the vacuum energy of free quantum fields is forced, by the very same background (...) distributional space-time such a Rindler distributional background space-time, to become dominant over any classical energy density component. This semiclassical gravity effect finds its roots in the singular behavior of quantum fields on a Rindler distributional space-times with distributional Levi-Cività connection. In particular we obtain that the vacuum fluctuations Φ2 have a singular behavior at a Rindler horizon R 0 : 2 ( ) 4 , 2 , δ = Φ δ δ − δ  c a a→∞ . Therefore sufficiently strongly accelerated observer burns up near the Rindler horizon. Thus Polchinski’s account doesn’t violate the Einstein equivalence principle. (shrink)

This paper dealing with extension of the Einstein eld equations using apparatus of contemporary generalization of the classical Lorentzian geometry named in literature Colombeau distributional geometry, see for example [1], [2], [3], [4], [5], [6], [7] and [32]. The regularizations of singularities presented in some solutions of the Einstein equations is an important part of this approach. Any singularities present in some solutions of the Einstein equations recognized only in the sense of Colombeau generalized functions [1], [2] and not classically. (...) In this paper essentially new class Colombeau solutions to Einstein eld equations is obtained. The vacuum energy density of free scalar quantum field  with a distributional background spacetime also is considered. It has been widely believed that, except in very extreme situations, the influence of gravity on quantum fields should amount to just small, sub-dominant contributions. Here we argue that this belief is false by showing that there exist well-behaved spacetime evolutions where the vacuum energy density of free quantum fields is forced, by the very same background distributional spacetime such distributional BHs, to become dominant over any classical energy density component. This semiclassical gravity effect finds its roots in the singular behavior of quantum fields on curved spacetimes. In particular we obtain that the vacuum fluctuations have a singular behavior on BHs horizon. (shrink)

Main results are: (i) number e^{e} is transcendental; (ii) the both numbers e+π and e-π are irrational.

In this paper we argue that the current paradigm for AGN and quasars is essentially incomplete and a rivision is needed. Remind that the current paradigm for AGN and quasars is that their radio emission is explained by synchrotron radiation from relativistic electrons that are Doppler boosted through bulk motion. In this model, the intrinsic brightness temperatures cannot exceed 1011 to 1012 K. Typical Doppler boosting is expected to be able to raise this temperature by a factor of 10. The (...) observed brightness temperature of the most compact structures in BL Lac, constrained by baselines longer than 5.3Gλ, must indeed exceed 2×1013K and can reach as high as ˜ 3 × 1014K. This is difficult to reconcile with current incoherent synchrotron emission models from relativistic electrons, requiring alternative models such as emission from relativistic protons. However the proton, as we know, is 1836 times heavier than an electron and absolutely huge energy is required to accelerated it to sublight speed. These alternative models such as emission from relativistic protons can be suported by semiclassical gravity effect finds its roots in the singular behavior of quantum fields on curved distributional space- times presented by rotating gravitational singularities. (shrink)

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. An posible generalization of Lob’s theorem is considered.Main results are: (i)
Con
ZFC 
Mst ZFC, (ii)
Con
ZF 
V  L, (iii)
Con
NF 
Mst NF, (iv)
Con
ZFC2, (v) let k be inaccessible cardinal then
Con
ZFC 

.

Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k be an inaccessible cardinal then ~Con(ZFC+∃k),[10],11].

One of the Bell's assumptions in the original derivation of his inequalities was the hypothesis of locality, i.e., the absence of the in uence of two remote measuring instruments on one another. That is why violations of these inequalities observed in experiments are often interpreted as a manifestation of the nonlocal nature of quantum mechanics, or a refutation of a local realism. It is well known that the Bell's inequality was derived in its traditional form, without resorting to the hypothesis (...) of locality and without the introduction of hidden variables, the only assumption being that the probability distributions are nonnegative. This can therefore be regarded as a rigorous proof that the hypothesis of locality and the hypothesis of existence of the hidden variables not relevant to violations of Bell's inequalities. The physical meaning of the obtained results is examined. Physical nature of the violation of the Bell inequalities is explained under new EPR-B nonlocality postulate.We show that the correlations of the observables involved in the Bohm{Bell type experiments can be expressed as correlations of classical random variables. The revisited Bell type inequality in canonical notatons reads <AB>+<A′B>+<AB′>-<A′B′>≤6. (shrink)

In contemporary mathematics, a Colombeau algebra of Colombeau generalized functions is an algebra of a certain kind containing the space of Schwartz distributions. While in classical distribution theory a general multiplication of distributions is not possible, Colombeau algebras provide a rigorous framework for this. Remark 1.1.1.Such a multiplication of distributions has been a long time mistakenly believed to be impossible because of Schwartz’ impossibility result, which basically states that there cannot be a differential algebra containing the space of distributions and (...) preserving the product of continuous functions. However, if one only wants to preserve the product of smooth functions instead such a construction becomes possible, as demonstrated first by J.F.Colombeau [1],[2]. As a mathematical tool, Colombeau algebras can be said to combine a treatment of singularities, differentiation and nonlinear operations in one framework, lifting the limitations of distribution theory. These algebras have found numerous applications in the fields of partial differential equations, geophysics, microlocal analysis and general relativity so far. (shrink)

In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of da Costa’s paraconsistent Set Theories〖NF〗n^C.

New exact quasi-classical asymptotic of solutions to the.

The cosmological constant problem arises because the magnitude of vacuum energy density predicted by quantum eld theory is about 120 orders of magnitude larger than the value implied by cosmological observations of accelerating cosmic expansion. We pointed out that the fractal nature of the quantum space-time with negative Hausdor - Colombeau dimensions can resolve this tension. The canonical Quantum Field Theory is widely believed to break down at some fundamental high-energy cuto  and therefore the quantum uctuations in the vacuum (...) can be treated classically seriously only up to this high-energy cuto . In this paper we argue that Quantum Field Theory in fractal space-time with negative Hausdor -Colombeau dimensions gives high-energy cuto on natural way. We argue that there exists hidden physical mechanism which cancel divergences in canonical QED4;QCD4; Higher-Derivative - Quantum-Gravity, etc. In fact we argue that corresponding supermassive Pauli-Villars ghost elds really exists. It means that there exists the ghost-driven acceleration of the univers hidden in cosmological constant. In order to obtain desired physical result we apply the canonical Pauli-Villars regularization up to : This would t in the observed value of the dark energy needed to explain the accelerated expansion of the universe if we choose highly symmetric masses distribution between standard matter and ghost matter below that scale ;i.e., fs:m () . (shrink)

In 1980 F. Wattenberg constructed the Dedekind completion

d of the Robinson non-archimedean field

and established basic algebraic properties of

d [6]. In 1985 H. Gonshor established further fundamental properties of

d [7].In [4] important construction of summation of countable sequence of Wattenberg numbers was proposed and corresponding basic properties of such summation were considered. In this paper the important applications of the Dedekind completion

d in transcendental number theory were considered. We dealing using set theory ZFC
(
-model of ZFC).Given (...) an class of analytic functions of one complex variable f  

z, we investigate the arithmetic nature of the values of fz at transcendental points en, n  .Main results are: (i) the both numbers e
 and e   are irrational, (ii) number ee is transcendental. Nontrivial generalization of the Lindemann- Weierstrass theorem is obtained. (shrink)

The paper presents, a new large deviations principles (SLDP) of non-Freidlin-Wentzell type, corresponding to the solutions Colombeau-Ito’s SDE. Using SLDP we present a new approach to construct the Bellman function ????(????, ????) and optimal control ????(????, ????) directly by way of using strong large deviations principle for the solutions Colombeau-Ito’s SDE. As important application such SLDP, the generic imperfect dynamic models of air-to-surface missiles are given in addition to the related simple guidance law. A four, examples have been illustrated proposed (...) approach and corresponding numerical simulations have been illustrated and analyzed. Using SLDP approach, Jumps phenomena, in financial markets, also is considered. Jumps phenomena, in financial markets is explained from the first principles, without any reference to Poisson jump process. In contrast with a phenomenological approach we explain such jumps phenomena from the first principles, without any reference to Poisson jump process. (shrink)

In 1935, Einstein, Podolsky and Rosen (EPR) originated the famous “EPR paradox” [1]. This argument concerns two spatially separated particles which have both perfectly correlated positions and momenta, as is predicted possible by quantum mechanics. The EPR paper spurred investigations into the nonlocality of quantum mechanics, leading to a direct challenge of the philosophies taken for granted by most physicists.The EPR conclusion was based on the assumption of local realism, and thus the EPR argument pinpoints a contradiction between local realism (...) and the completeness of quantum mechanics. Einstein’s 1927 gedanken experiment by using the probability representation of quantum states explained successfully. (shrink)

The vacuum energy density of free scalar quantum field phgr in a Rindler distributional space-time with distributional Levi-Cività connection is considered. It has been widely believed that, except in very extreme situations, the influence of acceleration on quantum fields should amount to just small, sub-dominant contributions. Here we argue that this belief is wrong by showing that in a Rindler distributional background space-time with distributional Levi-Cività connection the vacuum energy of free quantum fields is forced, by the very same background (...) distributional space-time such the Rindler distributional background space-time, to become dominant over any classical energy density component. This semiclassical gravity effect finds its roots in the singular behavior of quantum fields on a Rindler distributional space-times with distributional Levi-Cività connection. In particular we obtain that the vacuum fluctuations 〈phgr2〉 has a singular behavior on a Rindler horizon. Therefore sufficiently strongly accelerated observer burns up near the Rindler horizon. Thus Polchinski's account doesn't violate of the Einstein equivalence principle. (shrink)

Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z andΤ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem can be stated in terms of a maximal Fourier multiplier theorem [5]. Inequalities for such operators (...) can be transferred between these three Euclidean groups, and was done P. Auscher and M.J. Carro [3]. But L. Carleson’s original proof and another proofs very long and very complicated. We give a very short and very “simple” proof of this fact. Our proof uses PNSA technique only, developed in part I, and does not uses complicated technical formations unavoidable by the using of purely standard approach to the present problems. In contradiction to Carleson’s method, which is based on profound properties of trigonometric series, the proposed approach is quite general and allows to research a wide class of analogous problems for the general orthogonal series. (shrink)

Einstein field equations was originally derived by Einstein in 1915 in respect with canonical formalism of Riemann geometry,i.e. by using the classical sufficiently smooth metric tensor, smooth Riemann curvature tensor, smooth Ricci tensor,smooth scalar curvature, etc.. However have soon been found singular solutions of the Einstein field equations with degenerate and singular metric tensor and singular Riemann curvature tensor. These degenerate and singular solutions of the Einstein field equations was formally accepted by main part of scientific community beyond rigorous canonical (...) formalism of Riemannian geometry. (shrink)

This is an article about foundation of paralogical nonstandard analysis and its applications to the continuous function without a derivative presented by absolutely convergent trigonometrical series and another famous problems of trigonometrical and orthogonal series.

In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality.

This book is devoted to the presentation of the new quantum mechanical formalism based on the probability representation of quantum states. In the 20s and 30s it became evident that some properties in quantum mechanics can be assigned only to the quantum mechanical system, but not necessarily to its constituents. This led Einstein, Podolsky and Rosen (EPR) to their remarkable 1935 paper where they concluded that quantum mechanics is not a complete theory of nature (EPR paradox). In order to avoid (...) the contradiction which arises from instantaneous action at a distance mentioned above we introduce an extension of the canonical relativity by using measure algebra of physical events in Minkowski space-time. The canonical QM formalism is extended by additional new postulate of EPRB nonlocality for continuous and discrete observables, chapter I. The postulate of EPRB nonlocality is supported by new quantum mechanical formalism based on the probability representation of quantum states. Chapter II is devoted to the new quantum mechanical formalism based on the probability representation of quantum states. Chapter III is devoted to the Einstein's 1927 gedanken experiment resolution. Chapter IV is devoted to the EPR paradox resolution. Chapter V is devoted to the EPR-B paradox resolution. Chapter VI is devoted to the Schrödinger's cat (measured spin) paradox resolution. Chapter VII is devoted to the Bell inequalities revisited. Remind that the canonical arguments which were presented by many authors, namely, that violations of Bell type inequalities signal us that the classical Kolmogorovian model of probability is inapplicable to quantum phenomena. We claimed that the canonical assumption, under which Bell type inequalities were derived, is not supported by real physical nature of the EPRB experiments. The fundamental physical nature violations of the canonical Bell type inequalities explained by Postulate of EPR-Nonlocality and Heisenberg noise-disturbance uncertainty relations. (shrink)

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main result: ~(Con(ZFC_2).