Zwei Unentscheidbare Probleme Der Analysis

Mathematical Logic Quarterly 9 (18-20):265-289 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19630091802

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Über Unentscheidbare Erweiterungen von SC.Detlef G. Seese - 1978 - Mathematical Logic Quarterly 24 (1‐6):63-71.
Review: Bruno Scarpellini, Proof Theory and Intuitionistic Systems. [REVIEW]A. S. Troelstra - 1974 - Journal of Symbolic Logic 39 (3):607-609.
Das Problem der Vollständigkeit Für Boolesche Funktionen Über Zwei Dualmengen mit Nichtleerem Durchschnitt II.G. N. Blochina, W. B. Kudrjavcev & G. Burosch - 1974 - Mathematical Logic Quarterly 20 (4‐6):79-96.
Das Problem der Vollständigkeit für Boolesche Funktionen über zwei Dualmengen mit nichtleerem Durchschnitt I.G. N. Blochina, W. B. Kudrjavcev & G. Burosch - 1973 - Mathematical Logic Quarterly 19 (11‐12):163-180.
Zwei Sätze Für Schwache Erhaltungsmasze.Eugen Peter Berg & Gerhard Lischke - 1976 - Mathematical Logic Quarterly 23 (27‐30):409-410.
Antworten der juristischen Dogmatik auf zwei wichtige Probleme der Rechtsphilosophie.João Maurício Adeodato - 2010 - Rechtstheorie 41 (3):285-304.
Filterkonvergenz in der nichtstandard‐analysis.Klemens Döpp - 1984 - Mathematical Logic Quarterly 30 (1‐6):21-44.
Eine Erweiterung der Klassischen Analysis.Helmut Wolter - 1968 - Mathematical Logic Quarterly 14 (7‐12):167-184.
Aἷσөησιs und Λογισμόs. Zwei Probleme der epikureischen Methodologie.Wolfgang Detel - 1975 - Archiv für Geschichte der Philosophie 57 (1):21-35.
Filterkonvergenz in der nichtstandard‐analysis bei nichtelementaren funktionen.Klemens Döpp - 1984 - Mathematical Logic Quarterly 30 (19‐24):353-384.

Analytics

Added to PP
2014-01-16

Downloads
44 (#372,384)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
Beyond the universal Turing machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.
A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.
Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.
The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.

View all 10 citations / Add more citations

References found in this work

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.

Add more references