On Proving Certain Properties of the Primes by Means of the Methods of Pure Number Theory

Journal of Symbolic Logic 5 (3):128-130 (1940)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266891

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Broderick T. S.. On proving certain properties of the primes by means of the methods of pure number theory. Proceedings of the Royal Irish Academy, section A, vol. 46 , pp. 17–24. [REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (3):128-130.
The Disjunction and Existence Properties for Axiomatic Systems of Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 40 (1):1--10.
Strong normalization in type systems: A model theoretical approach.Jan Terlouw - 1995 - Annals of Pure and Applied Logic 73 (1):53-78.
Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
The equivalence of the disjunction and existence properties for modal arithmetic.Harvey Friedman & Michael Sheard - 1989 - Journal of Symbolic Logic 54 (4):1456-1459.
On bounded arithmetic augmented by the ability to count certain sets of primes.Alan R. Woods & Ch Cornaros - 2009 - Journal of Symbolic Logic 74 (2):455-473.
Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 , pp. 159–188.G. Mints - 1998 - Journal of Symbolic Logic 63 (3):1185.
Review: S. I. Adan, The Algorithmic Unsolvability of the Problem of Checking Certain Properties of Groups; S. I. Adan, Finitely Generated Groups and Algorithms. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):54-54.
Proving Unprovability.Bruno Whittle - 2017 - Review of Symbolic Logic 10 (1):92–115.
Stable theories, pseudoplanes and the number of countable models.Anand Pillay - 1989 - Annals of Pure and Applied Logic 43 (2):147-160.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,803,830)

6 months
2 (#1,685,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references