On integers of the form
Laurent Habsieger, Xavier-François Roblot (2006)
Acta Arithmetica
Similarity:
Laurent Habsieger, Xavier-François Roblot (2006)
Acta Arithmetica
Similarity:
R. P. Pakshirajan (1963)
Annales Polonici Mathematici
Similarity:
Antonio M. Oller-Marcén (2017)
Mathematica Bohemica
Similarity:
A homothetic arithmetic function of ratio is a function such that for every . Periodic arithmetic funtions are always homothetic, while the converse is not true in general. In this paper we study homothetic and periodic arithmetic functions. In particular we give an upper bound for the number of elements of in terms of the period and the ratio of .
Zofia Adamowicz, Konrad Zdanowski (2011)
Fundamenta Mathematicae
Similarity:
We prove that for i ≥ 1, the arithmetic does not prove a variant of its own Herbrand consistency restricted to the terms of depth in , where ε is an arbitrarily small constant greater than zero. On the other hand, the provability holds for the set of terms of depths in .
Zofia Adamowicz (2002)
Fundamenta Mathematicae
Similarity:
We prove that the Gödel incompleteness theorem holds for a weak arithmetic Tₘ = IΔ₀ + Ωₘ, for m ≥ 2, in the form Tₘ ⊬ HCons(Tₘ), where HCons(Tₘ) is an arithmetic formula expressing the consistency of Tₘ with respect to the Herbrand notion of provability. Moreover, we prove , where is HCons relativised to the definable cut Iₘ of (m-2)-times iterated logarithms. The proof is model-theoretic. We also prove a certain non-conservation result for Tₘ.
Atsushi Moriwaki (2014)
Annales de la faculté des sciences de Toulouse Mathématiques
Similarity:
In this paper, we give a numerical characterization of nef arithmetic -Cartier divisors of -type on an arithmetic surface. Namely an arithmetic -Cartier divisor of -type is nef if and only if is pseudo-effective and .
Angkana Sripayap, Pattira Ruengsinsub, Teerapat Srichan (2022)
Czechoslovak Mathematical Journal
Similarity:
Let and . Denote by the set of all integers whose canonical prime representation has all exponents being a multiple of or belonging to the arithmetic progression , . All integers in are called generalized square-full integers. Using the exponent pair method, an upper bound for character sums over generalized square-full integers is derived. An application on the distribution of generalized square-full integers in an arithmetic progression is given. ...
José del Carmen Alberto-Domínguez, Gerardo Acosta, Maira Madriz-Mendoza (2023)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We consider the Golomb and the Kirch topologies in the set of natural numbers. Among other results, we show that while with the Kirch topology every arithmetic progression is aposyndetic, in the Golomb topology only for those arithmetic progressions with the property that every prime number that divides also divides , it follows that being connected, being Brown, being totally Brown, and being aposyndetic are all equivalent. This characterizes the arithmetic progressions which are...
Enrique González-Jiménez (2015)
Acta Arithmetica
Similarity:
Let and a,q ∈ ℚ. Denote by the set of rational numbers d such that a, a + q, ..., a + (m-1)q form an arithmetic progression in the Edwards curve . We study the set and we parametrize it by the rational points of an algebraic curve.
Przemysław Mazur (2015)
Acta Arithmetica
Similarity:
We prove that every set A ⊂ ℤ satisfying for t and δ in suitable ranges must be very close to an arithmetic progression. We use this result to improve the estimates of Green and Morris for the probability that a random subset A ⊂ ℕ satisfies |ℕ∖(A+A)| ≥ k; specifically, we show that .
Yongqi Liang (2013)
Annales scientifiques de l'École Normale Supérieure
Similarity:
Let be a rationally connected algebraic variety, defined over a number field We find a relation between the arithmetic of rational points on and the arithmetic of zero-cycles. More precisely, we consider the following statements: (1) the Brauer-Manin obstruction is the only obstruction to weak approximation for -rational points on for all finite extensions (2) the Brauer-Manin obstruction is the only obstruction to weak approximation in some sense that we define for zero-cycles...
Melvyn B. Nathanson, Kevin O'Bryant (2015)
Acta Arithmetica
Similarity:
A geometric progression of length k and integer ratio is a set of numbers of the form for some positive real number a and integer r ≥ 2. For each integer k ≥ 3, a greedy algorithm is used to construct a strictly decreasing sequence of positive real numbers with a₁ = 1 such that the set contains no geometric progression of length k and integer ratio. Moreover, is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that...
Janusz Matkowski (2013)
Colloquium Mathematicae
Similarity:
A generalization of the weighted quasi-arithmetic mean generated by continuous and increasing (decreasing) functions , k ≥ 2, denoted by , is considered. Some properties of , including “associativity” assumed in the Kolmogorov-Nagumo theorem, are shown. Convex and affine functions involving this type of means are considered. Invariance of a quasi-arithmetic mean with respect to a special mean-type mapping built of generalized means is applied in solving a functional equation. For...
Roman Ger, Tomasz Kochanek (2009)
Colloquium Mathematicae
Similarity:
We show that any quasi-arithmetic mean and any non-quasi-arithmetic mean M (reasonably regular) are inconsistent in the sense that the only solutions f of both equations and are the constant ones.
István Juhász, Kenneth Kunen (2001)
Fundamenta Mathematicae
Similarity:
We define a new principle, SEP, which is true in all Cohen extensions of models of CH, and explore the relationship between SEP and other such principles. SEP is implied by each of CH*, the weak Freeze-Nation property of (ω), and the (ℵ₁,ℵ₀)-ideal property. SEP implies the principle , but does not follow from , or even .
Bakir Farhi (2013)
Colloquium Mathematicae
Similarity:
We present new structures and results on the set of mean functions on a given symmetric domain in ℝ². First, we construct on a structure of abelian group in which the neutral element is the arithmetic mean; then we study some symmetries in that group. Next, we construct on a structure of metric space under which is the closed ball with center the arithmetic mean and radius 1/2. We show in particular that the geometric and harmonic means lie on the boundary of . Finally, we give...
Paweł Pasteczka (2016)
Colloquium Mathematicae
Similarity:
We work with a fixed N-tuple of quasi-arithmetic means generated by an N-tuple of continuous monotone functions (I an interval) satisfying certain regularity conditions. It is known [initially Gauss, later Gustin, Borwein, Toader, Lehmer, Schoenberg, Foster, Philips et al.] that the iterations of the mapping tend pointwise to a mapping having values on the diagonal of . Each of [all equal] coordinates of the limit is a new mean, called the Gaussian product of the means taken...
J. S. Ratti, Y. -F. Lin (1990)
Colloquium Mathematicae
Similarity:
Agnieszka Kałamajska (2001)
Colloquium Mathematicae
Similarity:
We study the functional , where u=(u₁, ..., uₘ) and each is constant along some subspace of ℝⁿ. We show that if intersections of the ’s satisfy a certain condition then is weakly lower semicontinuous if and only if f is Λ-convex (see Definition 1.1 and Theorem 1.1). We also give a necessary and sufficient condition on to have the equivalence: is weakly continuous if and only if f is Λ-affine.
Taras Banakh, Vesko Valov
Similarity:
General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish -space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...
Gérard Freixas Montplet (2009)
Annales scientifiques de l'École Normale Supérieure
Similarity:
Let be an arithmetic ring of Krull dimension at most 1, and an -pointed stable curve of genus . Write . The invertible sheaf inherits a hermitian structure from the dual of the hyperbolic metric on the Riemann surface . In this article we prove an arithmetic Riemann-Roch type theorem that computes the arithmetic self-intersection of . The theorem is applied to modular curves , or , prime, with sections given by the cusps. We show , with when . Here is the Selberg...