Mathematical Logic Quarterly 21 (1):229-246 (1975)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| DOI | 10.1002/malq.19750210131 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
On a Generalization of Quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
Decidability of Second-Order Theories and Automata on Infinite Trees.[author unknown] - 1972 - Journal of Symbolic Logic 37 (3):618-619.
Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation.Heinrich Herre - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):301-313.
Generalized Quantifiers and Well Orderings.A. B. Slomson - 1972 - Archive for Mathematical Logic 15 (1-2):57-73.
Citations of this work BETA
The Expressive Power of Malitz Quantifiers for Linear Orderings.Hans-Peter Tuschik - 1987 - Annals of Pure and Applied Logic 36:53-103.
Similar books and articles
Entscheidbarkeit der Arithmetik MIT Addition Und Ordnung in Logiken MIT Verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor.Heinrich Herre & Helmut Wolter - 1979 - Mathematical Logic Quarterly 25 (19‐24):345-358.
Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1‐6):59-68.
Über die kategorisierbarkeit gewisser körper in nicht‐elementaren logiken.Kurt Hauschild & Helmut Wolter - 1969 - Mathematical Logic Quarterly 15 (7‐12):157-162.
Zur Charakterisierung von Theorien mit Syntaktisch Beschreibbarer Auswahlfunktion.Kurt Hauschild & Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (13‐17):263-266.
Supertheorien, theoretical jetties und die Komplizenschaft von Theorien. Zu Verständnis-und Konstruktionsweisen im Feld selbstbezüglicher Theorien.Thomas Khurana - 2000 - In Peter-Ulrich Merz-Benz & Gerhard Wagner (eds.), Die Logik der Systeme. Universitätsverlag Konstanz. pp. 327--370.
Eine Erweiterung der Elementaren Prädikatenlogik, Anwendungen in der Arithmetik und anderen Mathematischen Theorien.Helmut Wolter - 1973 - Mathematical Logic Quarterly 19 (11‐12):181-190.
Semantische Untersuchungen Über Quantoren III.Walter Issel - 1970 - Mathematical Logic Quarterly 16 (8):421-438.
Analytics
Added to PP index
2013-11-24
Total views
5 ( #1,198,482 of 2,497,979 )
Recent downloads (6 months)
1 ( #428,301 of 2,497,979 )
2013-11-24
Total views
5 ( #1,198,482 of 2,497,979 )
Recent downloads (6 months)
1 ( #428,301 of 2,497,979 )
How can I increase my downloads?
Downloads
