Oberschelp Arnold. Untersuchungen zur mehrsortigen Quantorenlogik. Mathematische Annalen, Bd. 145 , S. 297–333

Journal of Symbolic Logic 27 (2):225-226 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964130

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Untersuchungen zur Mehrsortigen Quantorenlogik.Arnold Oberschelp - 1962 - Journal of Symbolic Logic 27 (2):225-226.
On Pairs and Tuples.Arnold Oberschelp - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):55-56.
Klassentheoretische Paare.Arnold Oberschelp & Günter Todt - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):565-568.
Schmidt Arnold. Über deduktive Theorien mit mehreren Sorten von Grunddingen. Mathematische Annalen, vol. 115 no. 4 , pp. 485–506. [REVIEW]C. H. Langford - 1939 - Journal of Symbolic Logic 4 (2):98-98.
Schmidt Arnold. Systematische Basisreduktion der Modalitäten bei Idempolenz der positiven Grundmodalitäten. Mathematische Annalen, vol. 122 , pp. 71–89. [REVIEW]W. T. Parry - 1951 - Journal of Symbolic Logic 16 (3):230-231.
Schmidt Arnold. Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Mathematische Annalen, vol. 123 , pp. 187–200. [REVIEW]Hao Wang - 1952 - Journal of Symbolic Logic 17 (1):76-76.
On Pairs and Tuples.Arnold Oberschelp - 1991 - Mathematical Logic Quarterly 37 (2‐4):55-56.
Klassentheoretische Paare.Arnold Oberschelp & Günter Todt - 1981 - Mathematical Logic Quarterly 27 (36):565-568.
On the Craig-Lyndon interpolation theorem.Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (2):271-274.
Review: Roger C. Lyndon, Metamathematics and Algebra: An Example. [REVIEW]Arnold Oberschelp - 1969 - Journal of Symbolic Logic 34 (4):653-653.
Review: H. Jerome Keisler, Limit Ultraproducts. [REVIEW]Arnold Oberschelp - 1967 - Journal of Symbolic Logic 32 (2):277-278.
Ein Satz über die Unlösbarkeitsgrade der Mengen von Natürlichen Zahlen.Arnold Oberschelp - 1967 - Journal of Symbolic Logic 32 (1):124-124.
Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen.J. Weinstein - 1967 - Journal of Symbolic Logic 32 (4):532-533.
The Busy Beaver Game and the Meaning of Life.Arnold Oberschelp & Allen H. Brady - 1991 - Journal of Symbolic Logic 56 (3):1091.
Review: H. Jerome Keisler, Reduced Products and Horn Classes. [REVIEW]Arnold Oberschelp - 1966 - Journal of Symbolic Logic 31 (3):507-507.

Analytics

Added to PP
2013-11-03

Downloads
35 (#433,400)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references