Henkin Leon. 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: 91,881

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

A Generalization of the Notion of ω-Consistency.Leon Henkin - 1958 - Journal of Symbolic Logic 23 (1):40-40.
A generalization of the concept of ω-consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183-196.
A generalization of the concept of ω-completeness.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14.
Explicit Henkin sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.
Review: H. Rasiowa, R. Sikorski, Algebraic Treatment of the Notion of Satisfiability. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (1):78-80.
Kreisel G.. On a problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , pp. 405–406; also Indagationes mathematicae, vol. 15 , pp. 405–406. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.
Gödel Kurt. The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory. Annals of Mathematics studies, no. 3. Second printing, lithoprinted. Princeton University Press, Princeton 1951, 69 pp. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):207-208.
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Henkin quantifiers and the definability of truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.
Review: Andras Hajnal, On a Consistency Theorem Connected with the Generalized Continuum Problem; A. Hajnal, On a Consistency Theorem Connected with the Generalized Continuum Problem; Azriel Levy, A Generalization of Godel's Notion of Constructibility. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (2):271-272.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part I; L. Henkin, JD Monk, A. Tarski, Cylindric Set Algebras and Related Structures; H. Andreka, I. Nemeti, On Cylindric-Relativized Set Algebras. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.
Identity as a logical primitive.Leon Henkin - 1975 - Philosophia 5 (1-2):31-45.
A letter to reviewer.Leon Henkin - 1964 - Philosophia Mathematica (2):118-119.

Analytics

Added to PP
2013-11-22

Downloads
24 (#657,113)

6 months
13 (#194,844)

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