On the axioms of order and succession

Journal of Symbolic Logic 22 (2):141-144 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964175

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,583

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

Bing Kurt. On the axioms of order and succession.Paul Bernays - 1958 - Journal of Symbolic Logic 23 (3):362-362.
Bing Kurt. On simplifying truth-functional formulas.Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (2):221-221.
Bing Kurt. . vol. 1 no. 2 , pp. 21–28, and vol. 1 no. 3 , pp. 57–60.S. Karlin - 1948 - Journal of Symbolic Logic 13 (4):225-225.
Bing Kurt. On arithmetical classes not closed under direct union. Proceedings of the American Mathematical Society, vol. 6 , pp. 836–846. [REVIEW]Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (3):321-321.
First-order topological axioms.R. D. Kopperman - 1981 - Journal of Symbolic Logic 46 (3):475-489.
Gödel Kurt. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. Annals of Mathematics studies, no. 3. Lithoprinted. Princeton University Press, Princeton 1940, 66 pp. [REVIEW]Paul Bernays - 1941 - Journal of Symbolic Logic 6 (3):112-114.
Models of second-order zermelo set theory.Gabriel Uzquiano - 1999 - Bulletin of Symbolic Logic 5 (3):289-302.
Gödel on Many-Valued Logic.Tim Lethen - 2023 - Review of Symbolic Logic 16 (3):655-671.
Kurt Gödel: ein mathematischer Mythos.Werner de Pauli-Schimanovich & Peter Weibel - 1997 - Holder Pichler Tempsky.
Roger Hindley. Axioms for strong reduction in combinatory logic. The journal of symbolic logic, vol. 32 , pp. 224–236. - Bruce Lercher. The decidability of Hindley's axioms for strong reduction. The journal of symbolic logic, vol. 32 , pp. 237–239. [REVIEW]Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.

Analytics

Added to PP
2009-01-28

Downloads
55 (#429,662)

6 months
17 (#178,671)

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

Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.

Add more references