scholarly journals CONSTRUCTING TYPES IN DIFFERENTIALLY CLOSED FIELDS THAT ARE ANALYSABLE IN THE CONSTANTS

2018 ◽  
Vol 83 (04) ◽  
pp. 1413-1433
Author(s):  
RUIZHANG JIN
Keyword(s):  
Minimal Length ◽  
Canonical Analysis ◽  
Base Property ◽  
Canonical Base ◽  
Closed Fields ◽  
Image Position ◽  
Positive Integers

AbstractAnalysability of finiteU-rank types are explored both in general and in the theory${\rm{DC}}{{\rm{F}}_0}$. The well-known fact that the equation$\delta \left( {{\rm{log}}\,\delta x} \right) = 0$is analysable in but not almost internal to the constants is generalized to show that$\underbrace {{\rm{log}}\,\delta \cdots {\rm{log}}\,\delta }_nx = 0$is not analysable in the constants in$\left( {n - 1} \right)$-steps. The notion of acanonical analysisis introduced–-namely an analysis that is of minimal length and interalgebraic with every other analysis of that length. Not every analysable type admits a canonical analysis. Using properties of reductions and coreductions in theories with the canonical base property, it is constructed, for any sequence of positive integers$\left( {{n_1}, \ldots ,{n_\ell }} \right)$, a type in${\rm{DC}}{{\rm{F}}_0}$that admits a canonical analysis with the property that theith step hasU-rank${n_i}$.

scholarly journals The Divisibility of Divisor Functions

1961 ◽  
Vol 5 (1) ◽  
pp. 35-40 ◽  
Author(s):  
R. A. Rankin
Keyword(s):  
Positive Integer ◽  
Divisor Functions ◽  
Image Position ◽  
Positive Integers

For any positive integers n and v letwhere d runs through all the positive divisors of n. For each positive integer k and real x > 1, denote by N(v, k; x) the number of positive integers n ≦ x for which σv(n) is not divisible by k. Then Watson [6] has shown that, when v is odd,as x → ∞; it is assumed here and throughout that v and k are fixed and independent of x. It follows, in particular, that σ (n) is almost always divisible by k. A brief account of the ideas used by Watson will be found in § 10.6 of Hardy's book on Ramanujan [2].

scholarly journals Monochromatic solutions to equations with unit fractions

1991 ◽  
Vol 43 (3) ◽  
pp. 387-392 ◽  
Author(s):  
Tom C. Brown ◽  
Voijtech Rödl
Keyword(s):  
Solutions To Equations ◽  
Unit Fractions ◽  
Image Position ◽  
Positive Integers

Our main result is that if G(x1, …, xn) = 0 is a system of homogeneous equations such that for every partition of the positive integers into finitely many classes there are distinct y1,…, yn in one class such that G(y1, …, yn) = 0, then, for every partition of the positive integers into finitely many classes there are distinct Z1, …, Zn in one class such thatIn particular, we show that if the positive integers are split into r classes, then for every n ≥ 2 there are distinct positive integers x1, x1, …, xn in one class such thatWe also show that if [1, n6 − (n2 − n)2] is partitioned into two classes, then some class contains x0, x1, …, xn such that(Here, x0, x2, …, xn are not necessarily distinct.)

Analogue of a theorem of Khintchine in fields of formal power series

1966 ◽  
Vol 62 (4) ◽  
pp. 637-642 ◽  
Author(s):  
T. W. Cusick
Keyword(s):  
Power Series ◽  
Positive Constant ◽  
Classical Result ◽  
Real Numbers ◽  
Linear Forms ◽  
Absolute Value ◽  
The Difference ◽  
Image Position ◽  
Formal Power ◽  
Positive Integers

For a real number λ, ‖λ‖ is the absolute value of the difference between λ and the nearest integer. Let X represent the m-tuple (x1, x2, … xm) and letbe any n linear forms in m variables, where the Θij are real numbers. The following is a classical result of Khintchine (1):For all pairs of positive integers m, n there is a positive constant Г(m, n) with the property that for any forms Lj(X) there exist real numbers α1, α2, …, αn such thatfor all integers x1, x2, …, xm not all zero.

Central Limit Theorems for Interchangeable Processes

1958 ◽  
Vol 10 ◽  
pp. 222-229 ◽  
Author(s):  
J. R. Blum ◽  
H. Chernoff ◽  
M. Rosenblatt ◽  
H. Teicher
Keyword(s):  
Stochastic Process ◽  
Probability Measure ◽  
Central Limit ◽  
Joint Distribution ◽  
Limit Theorems ◽  
Random Variables ◽  
Central Limit Theorems ◽  
Probability Measures ◽  
Image Position ◽  
Positive Integers

Let {Xn} (n = 1, 2 , …) be a stochastic process. The random variables comprising it or the process itself will be said to be interchangeable if, for any choice of distinct positive integers i 1, i 2, H 3 … , ik, the joint distribution of depends merely on k and is independent of the integers i 1, i 2, … , i k. It was shown by De Finetti (3) that the probability measure for any interchangeable process is a mixture of probability measures of processes each consisting of independent and identically distributed random variables.

Ternary Quadratic Forms and Eta Quotients

2015 ◽  
Vol 58 (4) ◽  
pp. 858-868 ◽  
Author(s):  
Kenneth S. Williams
Keyword(s):  
Quadratic Forms ◽  
Fourier Coefficients ◽  
Arithmetic Progressions ◽  
Dedekind Eta Function ◽  
Ternary Quadratic Forms ◽  
Sum Formula ◽  
Image Position ◽  
Positive Integers

AbstractLet denote the Dedekind eta function. We use a recent productto- sum formula in conjunction with conditions for the non-representability of integers by certain ternary quadratic forms to give explicitly ten eta quotientssuch that the Fourier coefficients c(n) vanish for all positive integers n in each of infinitely many non-overlapping arithmetic progressions. For example, we show that if we have c(n) = 0 for all n in each of the arithmetic progressions

A Combinatorial Theorem

1966 ◽  
Vol 9 (4) ◽  
pp. 515-516
Author(s):  
Paul G. Bassett
Keyword(s):  
Positive Integer ◽  
Combinatorial Theorem ◽  
Image Position ◽  
Fixed Positive Integer ◽  
Positive Integers

Let n be an arbitrary but fixed positive integer. Let Tn be the set of all monotone - increasing n-tuples of positive integers:1Define2In this note we prove that ϕ is a 1–1 mapping from Tn onto {1, 2, 3,…}.

scholarly journals Some Finite Analogues of the Poisson Summation Formula

1961 ◽  
Vol 12 (3) ◽  
pp. 133-138 ◽  
Author(s):  
L. Carlitz
Keyword(s):  
Summation Formula ◽  
Poisson Summation Formula ◽  
Euler’S Constant ◽  
Image Position ◽  
Positive Integers ◽  
Euler's Constant ◽  
Poisson Summation

1. Guinand (2) has obtained finite identities of the typewhere m, n, N are positive integers and eitherorwhere γ is Euler's constant and the notation ∑′ indicates that when x is integral the term r = x is multiplied by ½. Clearly there is no loss of generality in taking N = 1 in (1.1).

Reductions of Hilbert's tenth problem

1958 ◽  
Vol 23 (2) ◽  
pp. 183-187 ◽  
Author(s):  
Martin Davis ◽  
Hilary Putnam
Keyword(s):  
Diophantine Equation ◽  
Hilbert's Tenth Problem ◽  
Recursively Enumerable ◽  
Hilbert’S Tenth Problem ◽  
Essential Change ◽  
Recursive Predicate ◽  
Image Position ◽  
Positive Integers

Hilbert's tenth problem is to find an algorithm for determining whether or not a diophantine equation possesses solutions. A diophantine predicate (of positive integers) is defined to be one of the formwhere P is a polynomial with integral coefficients (positive, negative, or zero). Previous work has considered the variables as ranging over nonnegative integers; but we shall find it more useful here to restrict the range to positive integers, no essential change being thereby introduced. It is clear that the recursive unsolvability of Hilbert's tenth problem would follow if one could show that some non-recursive predicate were diophantine. In particular, it would suffice to show that every recursively enumerable predicate is diophantine. Actually, it would suffice to prove far less.

scholarly journals An Analogue of a Result of Jacobsthal

1962 ◽  
Vol 13 (2) ◽  
pp. 139-142 ◽  
Author(s):  
Eckford Cohen
Keyword(s):  
Möbius Function ◽  
Mobius Function ◽  
Image Position ◽  
Positive Integers

Jacobsthal (4)has proved that the n×n matrixis invertible with the inverse,Here μ(x) denotes the Möbius function for positive integral x and is assumed to be 0 for other values; [x] has its usual meaning as the number of positive integers ≦x.

Craig interpolation theorem for intuitionistic logic and extensions Part III

1977 ◽  
Vol 42 (2) ◽  
pp. 269-271 ◽  
Author(s):  
Dov M. Gabbay
Keyword(s):  
Possible Worlds ◽  
Predicate Logic ◽  
Interpolation Property ◽  
Interpolation Theorem ◽  
Kripke Structure ◽  
Unary Predicate ◽  
The World ◽  
Image Position ◽  
Constant Domains ◽  
Positive Integers

This is a continuation of two previous papers by the same title [2] and examines mainly the interpolation property for the logic CD with constant domains, i.e., the extension of the intuitionistic predicate logic with the schemaIt is known [3], [4] that this logic is complete for the class of all Kripke structures with constant domains.Theorem 47. The strong Robinson consistency theorem is not true for CD.Proof. Consider the following Kripke structure with constant domains. The set S of possible worlds is ω0, the set of positive integers. R is the natural ordering ≤. Let ω0 0 = , Bn, is a sequence of pairwise disjoint infinite sets. Let L0 be a language with the unary predicates P, P1 and consider the following extensions for P,P1 at the world m.(a) P is true on ⋃i≤2nBi, and P1 is true on ⋃i≤2n+1Bi for m = 2n.(b) P is true on ⋃i≤2nBi, and P1 for ⋃i≤2n+1Bi for m = 2n.Let (Δ,Θ) be the complete theory of this structure. Consider another unary predicate Q. Let L be the language with P, Q and let M be the language with P1, Q.

Sign in / Sign up

Export Citation Format

Share Document