Büchi J. Richard and Wright Jesse B.. The theory of proportionality as an abstraction of group theory. Mathematische Annalen, vol. 130 no. 2 , pp. 102–108 [Book Review]

Journal of Symbolic Logic 22 (4):369-369 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963935

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

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

The Theory of Proportionality as an Abstraction of Group Theory.Jesse B. Wright - 1957 - Journal of Symbolic Logic 22 (4):369-369.
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory.J. Richard Büchi† & Steven Senger - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):337-342.
The monadic second order theory of all countable ordinals.J. Richard Büchi - 1973 - New York,: Springer. Edited by Dirk Siefkes.
Wang Hao. Between number theory and set theory. Mathematische Annalen, vol. 126 , pp. 385–409.Richard Montague - 1957 - Journal of Symbolic Logic 22 (1):82-83.
J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory.J. Richard Büchi† & Steven Senger - 1988 - Mathematical Logic Quarterly 34 (4):337-342.
New V, ZF and Abstraction.Stewart Shapiro & Alan Weir - 1999 - Philosophia Mathematica 7 (3):293-321.
Model Theoretic Approaches to Definability.J. Richard Büchi & Kenneth J. Danhof - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):61-70.
Richard Büchi J.. Regular canonical systems. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 3–4 , pp. 91–111. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):265-267.
J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.
Theory of Logical Nets.Arthur W. Burks & Jesse B. Wright - 1954 - Journal of Symbolic Logic 19 (2):141-142.
Definability in the monadic second-order theory of successor.J. Richard Buchi & Lawrence H. Landweber - 1969 - Journal of Symbolic Logic 34 (2):166 - 170.
Deterministic automata and the monadic theory of ordinals < ω2.J. Richard Büchi & Charles Zaiontz - 1983 - Mathematical Logic Quarterly 29 (5):313-336.
Review: Hugo Ribeiro, A Remark on Boolean Algebras with Operators. [REVIEW]J. Richard Büchi - 1953 - Journal of Symbolic Logic 18 (1):71-71.
Variations on a theme of cantor in the theory of relational structures.J. Richard Büchi & Kenneth J. Danhof - 1973 - Mathematical Logic Quarterly 19 (26‐29):411-426.

Analytics

Added to PP
2013-11-22

Downloads
14 (#907,727)

6 months
3 (#760,965)

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