Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):345-358 (1979)
| 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.19790251906 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
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 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.
Untersuchungen zur theorie der linearen ordnung in logiken mit mächtigkeitsquantoren.H. Herre & H. Wolter - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (2-6):73-94.
Entscheidbarkeit Der Theorie Der Linearen Ordnung In LQ1.H. Herre & H. Wolter - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (18):273-282.
Entscheidbarkeit der Theorie der Linearen Ordnung inLQx für Reguläres ωx.H. Herre & H. Wolter - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):73-78.
Entscheidbarkeit der Arithmetik MIT Addition Und Ordnung in Logiken MIT Verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.Heinrich Herre & Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):229-246.
Entscheidbarkeit in Speziellen Uniformen Strukturen Bezüglich Sprachen Mit Mächtigkeitsquantoren.Martin Weese - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):215-230.
Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Mathematical Logic Quarterly 18 (16‐18):249-254.
Die Entscheidbarkeit der Elementaren Theorie dern-Separierten Symmetrischen Graphen Endlicher Valenz.Heinrich Herre - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):249-254.
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in Die Theorie der Rekursiven Funktionen.Hans Hermes - 1966 - Journal of Symbolic Logic 31 (2):254-254.
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II.Kurt Hauschild, Heinrich Herre & Wolfgang Rautenberg - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30):457-480.
Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1‐6):59-68.
Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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.
Historisch-genetische Theorie der Moral. Die Moral im Schisma der Logiken.Günther Dux - 2000 - Ethik Und Sozialwissenschaften 11 (1):3-15.
Analytics
Added to PP index
2016-02-04
Total views
19 ( #578,928 of 2,497,980 )
Recent downloads (6 months)
1 ( #428,301 of 2,497,980 )
2016-02-04
Total views
19 ( #578,928 of 2,497,980 )
Recent downloads (6 months)
1 ( #428,301 of 2,497,980 )
How can I increase my downloads?
Downloads
