Review: Hao Wang, The Non-Finitizability of Impredicative Principles [Book Review]

Journal of Symbolic Logic 16 (2):143-144 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266704

Links

PhilArchive



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

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

Review: Hao Wang, The Irreducibility of Impredicative Principles. [REVIEW]Robert McNaughton - 1953 - Journal of Symbolic Logic 18 (3):265-266.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
Review: Hao Wang, A New Theory of Element and Number. [REVIEW]J. Barkley Rosser - 1949 - Journal of Symbolic Logic 14 (1):69-69.
Review: Hao Wang, Set-Theoretical Basis for Real Numbers. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (3):216-216.
Review: J. Barkley Rosser, Hao Wang, Non-Standard Models for Formal Logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
Review: W. Pohlers, Cut-Elimination for Impredicative Infinitary Systems. Part I. Ordinal- Analysis for $ID_1$; W. Pohlers, Cut Elimination for Impredicative Infinitary Systems. Part II. Ordinal Analysis for Iterated Inductive Definitions. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-880.
Review: Hao Wang, A Note on Quine's Principles of Quantification. [REVIEW]George D. W. Berry - 1948 - Journal of Symbolic Logic 13 (2):115-116.
Complexity of equations valid in algebras of relations part I: Strong non-finitizability.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2):149-209.
Extending constructive operational set theory by impredicative principles.Andrea Cantini - 2011 - Mathematical Logic Quarterly 57 (3):299-322.
Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
Review: Andrzej Mostowski, Some Impredicative Definitions in the Axiomatic Set-Theory. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
Non-standard models for formal logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.
A non-finitizability result in algebraic logic.Tarek Sayed Ahmed - 2007 - Bulletin of the Section of Logic 36 (1/2):21-27.
Review: Rolando Basim Chuaqui, Axiomatic Set Theory. Impredicative Theories of Classes. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.

Analytics

Added to PP
2013-11-22

Downloads
5 (#1,505,296)

6 months
2 (#1,263,261)

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