Results 11 to 20 of about 2,214,130 (267)
Comparing hierarchies of total functionals [PDF]
Logical Methods in Computer Science, 2005 In this paper we consider two hierarchies of hereditarily total and continuous functionals over the reals based on one extensional and one intensional representation of real numbers, and we discuss under which asumptions these hierarchies coincide.
Dag Normann
doaj +5 more sources
A new reverse Hardy–Hilbert inequality with the power function as intermediate variables
Journal of Inequalities and Applications, 2022 In this paper, by virtue of the symmetry principle, applying the techniques of real analysis and Euler–Maclaurin summation formula, we construct proper weight coefficients and use them to establish a reverse Hardy–Hilbert inequality with the power ...
Xingshou Huang, Bicheng Yang, Ricai Luo
doaj +1 more source
Reverse mathematics and infinite traceable graphs [PDF]
, 2010 This paper falls within the general program of investigating the proof theoretic strength (in terms of reverse mathematics) of combinatorial principals which follow from versions of Ramsey's theorem.
Cholak, Peter +2 more
core +3 more sources
Can quantum fluctuations differentiate between standard and unimodular gravity?
Journal of High Energy Physics, 2021 We formally prove the existence of a quantization procedure that makes the path integral of a general diffeomorphism-invariant theory of gravity, with fixed total spacetime volume, equivalent to that of its unimodular version.
Gustavo P. de Brito +3 more
doaj +1 more source
Half-Spin Tautological Relations and Faber's Proportionalities of Kappa Classes [PDF]
, 2019 We employ the $1/2$-spin tautological relations to provide a particular combinatorial identity. We show that this identity is a statement equivalent to Faber's formula for proportionalities of kappa-classes on $\mathcal{M}_g$, $g\geq 2$.
Garcia-Failde, Elba +3 more
core +3 more sources
On L-infinity morphisms of cyclic chains [PDF]
, 2008 Recently the first two authors constructed an L-infinity morphism using the S^1-equivariant version of the Poisson Sigma Model (PSM). Its role in deformation quantization was not entirely clear.
A. Connes +8 more
core +1 more source
Prasasti: Journal of Linguistics, 2018 This research discusses about how a certain technique can impact on the quality of translation in the statements of responding toward arguing speech act.
Siti Fathiyatus Sholihah +2 more
doaj +1 more source
Parameterized discrete Hilbert-type inequalities with intermediate variables
Journal of Inequalities and Applications, 2019 By means of the weight coefficients and the idea of introducing parameters, a discrete Hilbert-type inequality with the general homogeneous kernel and the intermediate variables is given. The equivalent form is obtained.
Ricai Luo, Bicheng Yang
doaj +1 more source
On hamiltonicity of 1-tough triangle-free graphs
Electronic Journal of Graph Theory and Applications, 2021 Let ω(G) denote the number of components of a graph G. A connected graph G is said to be 1-tough if ω(G − X)≤|X| for all X ⊆ V(G) with ω(G − X)>1. It is well-known that every hamiltonian graph is 1-tough, but that the reverse statement is not true in ...
Wei Zheng, Hajo Broersma, Ligong Wang
doaj +1 more source
Prasasti: Journal of Linguistics, 2018 It is not easy to translate the utterances containing flouting maxim quality. The translators should pay more attention in spotting the implied message hidden in it.
Ria Aresta
doaj +1 more source