- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor
Mathematical Logic Quarterly 25 (19‐24):345-358 (1979)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
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 von Theorien in Logiken mit verallgemeinerten Quantoren.Heinrich Herre & Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):229-246.
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.
Historisch-genetische Theorie der Moral. Die Moral im Schisma der Logiken.Günther Dux - 2000 - Ethik Und Sozialwissenschaften 11 (1):3-15.
Über die kategorisierbarkeit gewisser körper in nicht‐elementaren logiken.Kurt Hauschild & Helmut Wolter - 1969 - Mathematical Logic Quarterly 15 (7‐12):157-162.
Konstitutiver Liberalismus als soziale Ordnung der Europäischen Union. Zur Theorie und Soziologie des Rechts von Richard Münch.Gerhard Preyer - 2009 - Rechtstheorie 40 (4):493-507.
Analytics
Added to PP
2013-11-24
Downloads
10 (#1,165,120)
6 months
6 (#504,917)
2013-11-24
Downloads
10 (#1,165,120)
6 months
6 (#504,917)
Historical graph of downloads
Author's Profile
Citations of this work
The expressive power of Malitz quantifiers for linear orderings.Hans-Peter Tuschik - 1987 - Annals of Pure and Applied Logic 36:53-103.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo