- 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
Axiomatische Untersuchungen über Einige mit der Presburgerschen Arithmetik Verwandte Systeme
Mathematical Logic Quarterly 12 (1):131-168 (1966)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Axiomatische Untersuchungen Zur Elementaren Theorie Der Freien Halbgruppen Mit Substitution Als Undefiniertem Grundbegriff.Manfred Weiss - 1967 - Mathematical Logic Quarterly 13 (16‐18):265-280.
Axiomatische Untersuchungen Zur Elementaren Theorie Der Freien Halbgruppen Mit Substitution Als Undefiniertem Grundbegriff.Manfred Weiss - 1967 - Mathematical Logic Quarterly 13 (16-18):265-280.
Über nichtstandardmodelle der arithmetik und der rationalen zahlen.Klaus Potthoff - 1969 - Mathematical Logic Quarterly 15 (13‐15):223-236.
Über Nichtstandardmodelle der Arithmetik Und der Rationalen Zahlen.Klaus Potthoff - 1969 - Mathematical Logic Quarterly 15 (13-15):223-236.
Über Die Charakterisierbarkeit Der Zahlenreihe in Gewissen Nichtstandardmodellen Der Arithmetik.Kurt Hauschild - 1963 - Mathematical Logic Quarterly 9 (8‐9):113-116.
Einige Bemerkungen Zur Peano‐Arithmetik.Ulf Friedrichsdorf - 1976 - Mathematical Logic Quarterly 22 (1):431-436.
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
Untersuchungen Über Die Modelle Der Typentheorie.Peter Schreiber - 1965 - Mathematical Logic Quarterly 11 (4):343-372.
Untersuchungen Über Die Modelle Der Typentheorie.Peter Schreiber - 1965 - Mathematical Logic Quarterly 11 (4):343-372.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
Analytics
Added to PP
2014-01-16
Downloads
34 (#662,872)
6 months
8 (#575,465)
2014-01-16
Downloads
34 (#662,872)
6 months
8 (#575,465)
Historical graph of downloads
Citations of this work
The härtig quantifier: A survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
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.
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
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-667477cd97-wmc4m dc2