Undefinability of addition from one unary operator
HTML articles powered by AMS MathViewer
- by Robert McNaughton
- Trans. Amer. Math. Soc. 117 (1965), 329-337
- DOI: https://doi.org/10.1090/S0002-9947-1965-0176923-1
- PDF | Request permission
References
- M. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt, Comptes-Rendus du Ier, Congrès des Mathématiciens des Pays Slaves (Warsaw, 1929), pp. 92-101, 395, Skład Głowny, Warsaw, 1930.
- Klaus Härtig, Einstellige Funktionen als Grundbegriffe der elementaren Zahlentheorie, Z. Math. Logik Grundlagen Math. 5 (1959), 209–215 (German). MR 175756, DOI 10.1002/malq.19590051402
Bibliographic Information
- © Copyright 1965 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 117 (1965), 329-337
- MSC: Primary 02.72
- DOI: https://doi.org/10.1090/S0002-9947-1965-0176923-1
- MathSciNet review: 0176923