Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe

Journal of Symbolic Logic 18 (1):42-48 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266326

Links

PhilArchive



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

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 eine art Von unvollständigkeit Des prädikaten-kalküls der ersten stufe.Gisbert Hasenjaeger - 1950 - Journal of Symbolic Logic 15 (4):273-276.
Ein neuer beweis für die vollständigkeit eines vielwertigen systems Des aussagenkalküls.G. Bryll - 1966 - Studia Logica 19 (1):115-115.
Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie.Klemens Döpp - 1972 - Notre Dame Journal of Formal Logic 13 (4):561-562.
Der transzendentale Idealismus und die Idealität von Raum und Zeit. Eine 'lückenlose' Interpretation von Kants Beweis in der "Transzendentalen Ästhetik".Marcus Willaschek - 1997 - Zeitschrift für Philosophische Forschung 51 (4):537-564.
IV. Dialog: Platon oder Über die ersten Dinge zur Einführung in die Methode des Platonismus.Wilhelm M. Frankl - 1917 - Archiv für Geschichte der Philosophie 30 (1-4):78-84.
Bemerkung zum begriff der „abgeschlossenen“ theorie.Klaus Jürgen Düsberg - 1979 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 10 (2):358-362.
Idealismus und natürliche Theologie.Margit Wasmaier-Sailer & Benedikt Paul Göcke (eds.) - 2011 - Verlag Karl Alber.

Analytics

Added to PP
2009-01-28

Downloads
33 (#484,655)

6 months
8 (#361,341)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.

View all 10 citations / Add more citations

References found in this work

Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.

Add more references