A Generalization of the Notion of ω-Consistency

Journal of Symbolic Logic 23 (1):40-40 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964470

Links

PhilArchive



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

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

Henkin Leon. A generalization of the notion of ω-consistency.W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-40.
On Kalmar's consistency proof and a generalization of the notion of ω-consistency.George S. Boolos - 1975 - Archive for Mathematical Logic 17 (1-2):3-7.
A generalization of the concept of ω-consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183-196.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Review: Leon Henkin, Are Logic and Mathematics Identical? [REVIEW]Alfons Borgers - 1964 - Journal of Symbolic Logic 29 (3):141-142.
Review: Leon Henkin, Internal Semantics and Algebraic Logic. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):315-315.
Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.
Henkin Leon. Fragments of propositional calculus.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (3):197-198.
Review: Leon Henkin, On a Theorem of Vaught. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-58.
Henkin Leon. Some notes on nominalism.George D. W. Berry - 1954 - Journal of Symbolic Logic 19 (4):289-290.

Analytics

Added to PP
2015-02-05

Downloads
2 (#1,818,315)

6 months
1 (#1,516,001)

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