Johann Sonner. On the formal definition of categories. Mathematische Zeitschrift, vol. 80 no. 2 , pp. 163–176
Journal of Symbolic Logic 37 (3):613-614 (1972)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2272778
My notes
Similar books and articles
Review: Johann Sonner, On the Formal Definition of Categories. [REVIEW]N. C. A. Da Costa - 1972 - Journal of Symbolic Logic 37 (3):613-614.
A Formal Definition of the Set of the Logical Connectors of Pragmatics.Daniel R. Vanderveken - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):513-516.
Harrop Ronald. On the Recursivity of Finite Sets. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 7 , Pp. 136–140.Hořejš Jiří. Note on Definition of Recursiveness. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 10 , Pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
Marian Boykan Pour-El and Hilary Putnam. Recursively Enumerable Classes and Their Application to Recursive Sequences of Formal Theories. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 8 No. 3–4 , Pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A Structural Criterion for Recursive Enumeration Without Repetition. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 10 , Pp. 105–114. - A. H. Lachlan. On Recursive Enumeration Without Repetition. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 11 , Pp. 209–220. - A. H. Lachlan. On Recursive Enumeration Without Repetition: A Correction. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 13 , Pp. 99–100. [REVIEW]James C. Owings - 1973 - Journal of Symbolic Logic 38 (1):155-156.
Ultradiophantine Categories.Leopoldo Román - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):289-295.
The „Dialectica” Interpretation and Categories.Philip J. Scott - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (31-36):553-575.
On Some Categories of Partial Enumerated Sets.Andrzej Orlicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):541-560.
N-Categories in Logic.Agustin Riscos & Luis M. Laita - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):507-516.
On the Definition of Orderedn-Tuples.Olaf Neumann - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (13-16):197-198.
Note on Definition of Recursiveness.Jiří Hořejš - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (8):119-120.
Zur Definition Reeller Ordinalzahlen.Dieter Klaua - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (7):105-110.
On Principles of Inductive Definition.Bernhard Banaschewski - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (15-22):248-257.
Formal Theories Are Acyclic.K. S. Sarkaria - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (21-23):363-368.
Analytics
Added to PP
2016-06-30
Downloads
11 (#838,067)
6 months
1 (#418,924)
2016-06-30
Downloads
11 (#838,067)
6 months
1 (#418,924)
Historical graph of downloads
