Spielquantorinterpretation unstetiger Funktionale der höheren Analysis

Archive for Mathematical Logic 24 (1):73-99 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

  • This entry has no external links. Add one.
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

Der Aufbau Einer Höheren Logik.Wilhelm Ackermann - 1964 - Archive for Mathematical Logic 7 (1-2):5-22.
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.Justus Diller & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):69-74.
Eine beweistheoretische Anwendung partieller stetiger Funktionale.H. Vogel - 1978 - Archive for Mathematical Logic 19 (1):65-78.
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.Helmut Vogel - 1977 - Archive for Mathematical Logic 18 (1):81-84.
Die Präzisierung des Berechenbarkeitsbegriffes in der Analysis mit Hilfe Rationaler Funktionale.Dieter Klaua - 1959 - Mathematical Logic Quarterly 5 (3-6):33-96.
Freges Begründung der Analysis.Franz Kutschera - 1966 - Archive for Mathematical Logic 9 (3-4):102-111.
Eine Funktionalinterpretation der prädikativen Analysis.Wolfgang Maaß - 1977 - Archive for Mathematical Logic 18 (1):27-46.
Zwei Konstruktionen Quasilinearer Erweiterungen Der Anordnung Einer Abelschen Gruppe Mit Hilfe Additiver und Isotoner Funktionale.František Šik - 1961 - Mathematical Logic Quarterly 7 (1-5):39-45.
Stetigkeitseigenschaften Berechenbarer Funktionale.Jürgen Hauck - 1982 - Mathematical Logic Quarterly 28 (25‐26):377-383.
Isotone Funktionale Geordneter Mengen.Miroslav Novotný - 1960 - Mathematical Logic Quarterly 6 (7‐14):109-133.

Analytics

Added to PP
2014-04-08

Downloads
5 (#1,756,675)

6 months
5 (#1,071,419)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pointwise hereditary majorization and some applications.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (4):227-241.

Add more citations

References found in this work

No references found.

Add more references