A Model of the Arithmetic of Alephs in the Equation Calculus

Journal of Symbolic Logic 35 (2):321-321 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270531

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

A Model of the Arithmetic of Alephs in the Equation Calculus.R. J. Plymen - 1961 - Mathematical Logic Quarterly 7 (17‐18):257-258.
A Model of the Arithmetic of Alephs in the Equation Calculus.R. J. Plymen - 1961 - Mathematical Logic Quarterly 7 (17-18):257-258.
Review: R. J. Plymen, A Model of the Arithmetic of Alephs in the Equation Calculus. [REVIEW]V. Vuckovic - 1970 - Journal of Symbolic Logic 35 (2):321-321.
Plymen R. J.. A model of the arithmetic of alephs in the equation calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 257–258. [REVIEW]V. Vuckovic - 1970 - Journal of Symbolic Logic 35 (2):321-321.
Strengths and Weaknesses of LH Arithmetic.Chris Pollett & Randall Pruim - 2002 - Mathematical Logic Quarterly 48 (2):221-243.
On the Additive Group Structure of the Nonstandard Models of the Theory of Integers.Hasan Dalgin, Labib Haddad & Mehmet Terziler - 2002 - Mathematical Logic Quarterly 48 (3):403-412.
A modal sequent calculus for a fragment of arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
Ein rechenverfahren für die elementare logik.Klaus J. Schmidt - 1981 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 12 (1):110-115.
An interpretation of a certain fragment of arithmetic in some propositional calculus.Zdzislaw Dywan - 1984 - Bulletin of the Section of Logic 13 (2):99-103.
Technical Report TR-ARP-2-96.John K. Slaney, Robert K. Meyer & Greg Restall - unknown
Expanding the additive reduct of a model of Peano arithmetic.Masahiko Murakami & Akito Tsuboi - 2003 - Mathematical Logic Quarterly 49 (4):363-368.
Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (2):227-228.
Review: R. L. Goodstein, Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus. [REVIEW]Th Skolem - 1958 - Journal of Symbolic Logic 23 (2):227-228.
Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely.Henryk Kotlarski & Bożena Piekart - 2000 - Mathematical Logic Quarterly 46 (1):111-120.
The Calculus of Concreta Self-Applied.Thomas Patrick Rardin - 1984 - Dissertation, Washington University

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,389,208)

6 months
3 (#980,137)

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