Independent Gödel sentences and independent sets

1975 ◽  
Vol 40 (2) ◽  
pp. 159-166
Author(s):  
A. M. Dawes ◽  
J. B. Florence
Keyword(s):  
Positive Integer ◽  
Independent Sets ◽  
Peano Arithmetic ◽  
Natural Numbers ◽  
Simple Set ◽  
Logical Notion ◽  
Infinite Set ◽  
Element Set

In this paper we investigate some of the recursion-theoretic problems which are suggested by the logical notion of independence.A set S of natural numbers will be said to be k-independent (respectively, ∞-independent) if, roughly speaking, in every correct system there is a k-element set (respectively, an infinite set) of independent true sentences of the form x ∈ S. S will be said to be effectively independent (respectively, absolutely independent) if given any correct system we can generate an infinite set of independent (respectively, absolutely independent) true sentences of the form x ∈ S.We prove that(a) S is absolutely independent ⇔S is effectively independent ⇔S is productive;(b) for every positive integer k there is a Π1 set which is k-independent but not (k + 1)-independent;(c) there is a Π1 set which is k-independent for all k but not ∞-independent;(d) there is a co-simple set which is ∞-independent.We also give two new proofs of the theorem of Myhill [1] on the existence of an infinite set of Σ1 sentences which are absolutely independent relative to Peano arithmetic. The first proof uses the existence of an absolutely independent Π1 set of natural numbers, and the second uses a modification of the method of Gödel and Rosser.

Theories incomparable with respect to relative interpretability

1962 ◽  
Vol 27 (2) ◽  
pp. 195-211 ◽  
Author(s):  
Richard Montague
Keyword(s):  
Positive Integer ◽  
The Other ◽  
Natural Numbers ◽  
Infinite Set

The present paper concerns the relation of relative interpretability introduced in [8], and arises from a question posed by Tarski: are there two finitely axiomatizable subtheories of the arithmetic of natural numbers neither of which is relatively interpretable in the other? The question was answered affirmatively (without proof) in [3], and the answer was generalized in [4]: for any positive integer n, there exist n finitely axiomatizable subtheories of arithmetic such that no one of them is relatively interpretable in the union of the remainder. A further generalization was announced in [5] and is proved here: there is an infinite set of finitely axiomatizable subtheories of arithmetic such that no one of them is relatively interpretable in the union of the remainder. Several lemmas concerning the existence of self-referential and mutually referential formulas are given in Section 1, and will perhaps be of interest on their own account.

The Natural Numbers

2018 ◽  
Author(s):  
Øystein Linnebo
Keyword(s):  
Natural Number ◽  
Peano Arithmetic ◽  
Number Sequence ◽  
Natural Numbers ◽  
Ordinal Numbers ◽  
Cardinal Numbers

How are the natural numbers individuated? That is, what is our most basic way of singling out a natural number for reference in language or in thought? According to Frege and many of his followers, the natural numbers are cardinal numbers, individuated by the cardinalities of the collections that they number. Another answer regards the natural numbers as ordinal numbers, individuated by their positions in the natural number sequence. Some reasons to favor the second answer are presented. This answer is therefore developed in more detail, involving a form of abstraction on numerals. Based on this answer, a justification for the axioms of Dedekind–Peano arithmetic is developed.

scholarly journals ON THE DENSITY OF INTEGERS OF THE FORM (p−1)2−n IN ARITHMETIC PROGRESSIONS

2008 ◽  
Vol 78 (3) ◽  
pp. 431-436 ◽  
Author(s):  
XUE-GONG SUN ◽  
JIN-HUI FANG
Keyword(s):  
Positive Integer ◽  
Prime Number ◽  
Arithmetic Progression ◽  
Arithmetic Progressions ◽  
Asymptotic Density ◽  
Natural Numbers ◽  
Positive Proportion ◽  
Covering System

AbstractErdős and Odlyzko proved that odd integers k such that k2n+1 is prime for some positive integer n have a positive lower density. In this paper, we characterize all arithmetic progressions in which natural numbers that can be expressed in the form (p−1)2−n (where p is a prime number) have a positive proportion. We also prove that an arithmetic progression consisting of odd numbers can be obtained from a covering system if and only if those integers in such a progression which can be expressed in the form (p−1)2−n have an asymptotic density of zero.

Proceed with care, because some infinities are larger than others

2020 ◽  
pp. 281-292
Author(s):  
Susan D'Agostino
Keyword(s):  
Number Line ◽  
Mathematics Students ◽  
Natural Numbers ◽  
Real Numbers ◽  
Countable Infinity ◽  
One To One ◽  
Infinite Set

“Proceed with care, because some infinities are larger than others” explains in detail why the infinite set of real numbers—all of the numbers on the number line—represents a far larger infinity than the infinite set of natural numbers—the counting numbers. Readers learn to distinguish between countable infinity and uncountable infinity by way of a method known as a “one-to-one correspondence.” Mathematics students and enthusiasts are encouraged to proceed with care in both mathematics and life, lest they confuse countable infinity with uncountable infinity, large with unfathomably large, or order with disorder. At the chapter’s end, readers may check their understanding by working on a problem. A solution is provided.

scholarly journals On radicals of infinite matrix rings

1969 ◽  
Vol 16 (3) ◽  
pp. 195-203 ◽  
Author(s):  
A. D. Sands
Keyword(s):  
Infinite Matrix ◽  
Natural Numbers ◽  
Index Set ◽  
Matrix Rings ◽  
Infinite Set

Let R be a ring and I an infinite set. We denote by M(R) the ring of row finite matrices over I with entries in R. The set I will be omitted from the notation, as the same index set will be used throughout the paper. For convenience it will be assumed that the set of natural numbers is a subset of I.

EXTREMAL CAYLEY DIGRAPHS OF FINITE ABELIAN GROUPS

2011 ◽  
Vol 12 (01n02) ◽  
pp. 125-135 ◽  
Author(s):  
ABBY GAIL MASK ◽  
JONI SCHNEIDER ◽  
XINGDE JIA
Keyword(s):  
Abelian Group ◽  
Positive Integer ◽  
Communication Networks ◽  
Abelian Groups ◽  
Finite Abelian Group ◽  
Finite Abelian Groups ◽  
Element Subset ◽  
Cayley Digraph ◽  
Positive Integers ◽  
Element Set

Cayley digraphs of finite abelian groups are often used to model communication networks. Because of their applications, extremal Cayley digraphs have been studied extensively in recent years. Given any positive integers d and k. Let m*(d, k) denote the largest positive integer m such that there exists an m-element finite abelian group Γ and a k-element subset A of Γ such that diam ( Cay (Γ, A)) ≤ d, where diam ( Cay (Γ, A)) denotes the diameter of the Cayley digraph Cay (Γ, A) of Γ generated by A. Similarly, let m(d, k) denote the largest positive integer m such that there exists a k-element set A of integers with diam (ℤm, A)) ≤ d. In this paper, we prove, among other results, that [Formula: see text] for all d ≥ 1 and k ≥ 1. This means that the finite abelian group whose Cayley digraph is optimal with respect to its diameter and degree can be a cyclic group.

Maximal subsemigroups of some semigroups of order-preserving mappings on a countably infinite set

2017 ◽  
Vol 29 (4) ◽  
Author(s):  
Tiwadee Musunthia ◽  
Jörg Koppitz
Keyword(s):  
Natural Numbers ◽  
Maximal Subsemigroups ◽  
Countably Infinite ◽  
Infinite Set

AbstractIn this paper, we study the maximal subsemigroups of several semigroups of order-preserving transformations on the natural numbers and the integers, respectively. We determine all maximal subsemigroups of the monoid of all order-preserving injections on the set of natural numbers as well as on the set of integers. Further, we give all maximal subsemigroups of the monoid of all bijections on the integers. For the monoid of all order-preserving transformations on the natural numbers, we classify also all its maximal subsemigroups, containing a particular set of transformations.

scholarly journals MULTIVALUED GENERALIZATIONS OF THE FRANKL–PACH THEOREM

2012 ◽  
Vol 11 (01) ◽  
pp. 1250004
Author(s):  
GÁBOR HEGEDŰS ◽  
LAJOS RÓNYAI
Keyword(s):  
Gröbner Basis ◽  
Natural Numbers ◽  
Grobner Basis ◽  
Standard Monomials ◽  
Element Set

In [On disjointly representable sets, Combinatorica4 (1984) 39–45] Frankl and Pach proved the following uniform version of Sauer's lemma. Let n,d,s be natural numbers such thatd ≤ n, s + 1 ≤ n/2. Let [Formula: see text] be an arbitrary d-uniform set system such that [Formula: see text] does not shatter an s + 1-element set, then[Formula: see text] We prove here two generalizations of the above theorem to n-tuple systems. To obtain these results, we use Gröbner basis methods, and describe the standard monomials of Hamming spheres.

Understanding the Russian peasant

1973 ◽  
Vol 20 (1) ◽  
pp. 33-35
Author(s):  
C. Richard Reardin
Keyword(s):  
Binary System ◽  
Elementary Teachers ◽  
Natural Numbers ◽  
Simple Set

From time to time, elementary teachers have encountered, used, or taught the Russian-peasant method of multiplication of two natural numbers and are curious about the rationale behind the process. It is an intriguing method because it involves a very simple set of facts and operations: multiplying by 2, dividing by 2, and addition. In some instances this method is called the doubling and halving technique. By whatever name it is known, any explanation as to why the method works usually is omitted from the discussion, or else there is a nebulous reference to the binary system as an explanation for it, leaving the user to ponder unsuccessfully the meaning of the reference.

scholarly journals Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52

2017 ◽  
Vol 15 (1) ◽  
pp. 446-458 ◽  
Author(s):  
Ebénézer Ntienjem
Keyword(s):  
Positive Integer ◽  
Modular Forms ◽  
Quadratic Forms ◽  
Modular Space ◽  
Natural Numbers ◽  
Convolution Sums ◽  
Sum Of Divisors

Abstract The convolution sum, $ \begin{array}{} \sum\limits_{{(l\, ,m)\in \mathbb{N}_{0}^{2}}\atop{\alpha \,l+\beta\, m=n}} \sigma(l)\sigma(m), \end{array} $ where αβ = 22, 44, 52, is evaluated for all natural numbers n. Modular forms are used to achieve these evaluations. Since the modular space of level 22 is contained in that of level 44, we almost completely use the basis elements of the modular space of level 44 to carry out the evaluation of the convolution sums for αβ = 22. We then use these convolution sums to determine formulae for the number of representations of a positive integer by the octonary quadratic forms $a\,(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+x_{4}^{2})+b\,(x_{5}^{2}+x_{6}^{2}+x_{7}^{2}+x_{8}^{2}),$ where (a, b) = (1, 11), (1, 13).

Sign in / Sign up

Export Citation Format

Share Document