Arnold Oberschelp - Author Profile

Edit Profile

Oberschelp, Arnold

Author ID:	oberschelp.arnold
Published as:	Oberschelp, Arnold; Oberschelp, A.
External Links:	MGP · Wikidata · GND · IdRef

Documents Indexed:	24 Publications since 1958, including 7 Books
	1 Contribution as Editor · 1 Further Contribution
Co-Authors:	5 Co-Authors with 4 Joint Publications
	15 Co-Co-Authors

all top 5

Co-Authors

21	single-authored
3	Todt, Guenter
1	Costabel, Pierre
1	Freudenthal, Hans
1	Glubrecht, Jürgen-Michael
1	Grigor’yan, Ashot Tigranovich
1	Hartshorne, Charles
1	Kangro, Hans
1	Kedrov, B. M.
1	Müller, Gert Heinz
1	Müller, Kurt Peter
1	Parkinson, G. H. R.
1	Potthoff, Klaus
1	Rothschuh, K. E.
1	Schmidt-Göttsch, Karsten
1	Scriba, Christoph Joachim
1	Steudel, J.
1	Totok, Wilhelm
1	Tymieniecka, A. T.
1	von Bülow, K.
1	von Mackensen, Ludolf
1	Yushkevich, Adol’f Pavlovich

all top 5

Serials

4	Archiv für Mathematische Logik und Grundlagenforschung
2	Mathematische Annalen
2	Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1	MNU. Der Mathematische und Naturwissenschaftliche Unterricht
1	Dissertationes Mathematicae
1	The Journal of Symbolic Logic
1	Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft
1	Archive for Mathematical Logic
1	Mathematisch-Physikalische Semesterberichte, Neue Folge
1	Lecture Notes in Mathematics
1	Moderne Mathematik in Elementarer Darstellung

Fields

17	Mathematical logic and foundations (03-XX)
4	General and overarching topics; collections (00-XX)
2	Computer science (68-XX)
1	History and biography (01-XX)
1	Order, lattices, ordered algebraic structures (06-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

10 Publications have been cited 34 times in 30 Documents	Cited by ▼	Year ▼
Investigations in many-sorted quantor logic. (Untersuchungen zur mehrsortigen Quantorenlogik.) Zbl 0101.25001 Oberschelp, Arnold	15	1962
Über die Axiome produkt-abgeschlossener arithmetischer Klassen. Zbl 0108.00601 Oberschelp, Arnold	4	1958
Order sorted predicate logic. Zbl 0747.68081 Oberschelp, Arnold	3	1990
Set theory over classes. Zbl 0343.02050 Oberschelp, Arnold	3	1973
Castor quadruplorum. Zbl 0646.03034 Oberschelp, Arnold; Schmidt-Göttsch, Karsten; Todt, Günter	2	1988
Elementare Logik und Mengenlehre. I. Zbl 0295.02001 Oberschelp, Arnold	2	1974
Eigentliche Klassen als Urelemente in der Mengenlehre. Zbl 0121.25603 Oberschelp, A.	2	1964
ISILC logic conference. Proceedings of the international summer institute and logic colloquium, Kiel 1974. Zbl 0307.00007	1	1975
Klassenlogik. Zbl 0514.03001 Glubrecht, Juergen-Michael; Oberschelp, Arnold; Todt, Guenter	1	1983
Über die Axiome arithmetischer Klassen mit Abgeschlossenheitsbedingungen. Zbl 0118.25205 Oberschelp, A.	1	1961
Order sorted predicate logic. Zbl 0747.68081 Oberschelp, Arnold	3	1990
Castor quadruplorum. Zbl 0646.03034 Oberschelp, Arnold; Schmidt-Göttsch, Karsten; Todt, Günter	2	1988
Klassenlogik. Zbl 0514.03001 Glubrecht, Juergen-Michael; Oberschelp, Arnold; Todt, Guenter	1	1983
ISILC logic conference. Proceedings of the international summer institute and logic colloquium, Kiel 1974. Zbl 0307.00007	1	1975
Elementare Logik und Mengenlehre. I. Zbl 0295.02001 Oberschelp, Arnold	2	1974
Set theory over classes. Zbl 0343.02050 Oberschelp, Arnold	3	1973
Eigentliche Klassen als Urelemente in der Mengenlehre. Zbl 0121.25603 Oberschelp, A.	2	1964
Investigations in many-sorted quantor logic. (Untersuchungen zur mehrsortigen Quantorenlogik.) Zbl 0101.25001 Oberschelp, Arnold	15	1962
Über die Axiome arithmetischer Klassen mit Abgeschlossenheitsbedingungen. Zbl 0118.25205 Oberschelp, A.	1	1961
Über die Axiome produkt-abgeschlossener arithmetischer Klassen. Zbl 0108.00601 Oberschelp, Arnold	4	1958

all cited Publications top 5 cited Publications

all top 5

Cited by 37 Authors

3	Bürckert, Hans Jürgen
3	Kirchner, Hélène
2	Hintermeier, Claus
2	Kirchner, Claude
2	Michel, Pascal
2	Oberschelp, Arnold
2	von Rimscha, Michael
1	Beierle, Christoph
1	Bílková, Marta
1	Dostál, Matěj
1	Friedman, Joel I.
1	Ganzinger, Harald
1	Gnaedig, Isabelle
1	Grabmayr, Balthasar
1	Hedtstück, Ulrich
1	Hollunder, Bernhard
1	Kaneiwa, Ken
1	Keisler, Howard Jerome
1	Kripke, Saul A.
1	Laux, Armin
1	Le Méhauté, Alain J. Y.
1	Lyndon, Roger C.
1	Mosses, Peter D.
1	Philippe, Riot
1	Pletat, Udo
1	Rabe, Florian
1	Schmitt, Peter H.
1	Shao, Zhiqing
1	Siekmann, Jörg H.
1	Sojakova, Kristina
1	Song, Guoxin
1	Struve, Horst
1	Struve, Rolf
1	Waldmann, Uwe
1	Walther, Christoph
1	Weidenbach, Christoph
1	Weir, Alan

all top 5

Cited in 15 Serials

4	Artificial Intelligence
4	Archiv für Mathematische Logik und Grundlagenforschung
4	Theoretical Computer Science
2	Annals of Mathematics and Artificial Intelligence
1	Journal of Geometry
1	Journal of Philosophical Logic
1	Mathematische Annalen
1	Notre Dame Journal of Formal Logic
1	Transactions of the American Mathematical Society
1	Journal of Symbolic Computation
1	International Journal of Computer Mathematics
1	Archive for Mathematical Logic
1	Bulletin of the American Mathematical Society
1	Logical Methods in Computer Science
1	Journal of Applied Nonlinear Dynamics

all top 5

Cited in 7 Fields

16	Mathematical logic and foundations (03-XX)
16	Computer science (68-XX)
3	Number theory (11-XX)
1	General and overarching topics; collections (00-XX)
1	General algebraic systems (08-XX)
1	Category theory; homological algebra (18-XX)
1	Geometry (51-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.