Wang Hao. The irreducibility of impredicative principles. Mathematische Annalen, vol. 125 no. 1 , pp. 56–66

Journal of Symbolic Logic 18 (3):265-266 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267424

Links

PhilArchive



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

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.
The Irreducibility of Impredicative Principles.Hao Wang - 1953 - Journal of Symbolic Logic 18 (3):265-266.
The Non-Finitizability of Impredicative Principles.Hao Wang - 1951 - Journal of Symbolic Logic 16 (2):143-144.
Review: Hao Wang, The Non-Finitizability of Impredicative Principles. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (2):143-144.
Schmidt Arnold. Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Mathematische Annalen, vol. 123 , pp. 187–200. [REVIEW]Hao Wang - 1952 - Journal of Symbolic Logic 17 (1):76-76.
Wang Hao. Between number theory and set theory. Mathematische Annalen, vol. 126 , pp. 385–409.Richard Montague - 1957 - Journal of Symbolic Logic 22 (1):82-83.
Rose Alan. Some self-dual primitive functions for propositional calculi. Mathematische Annalen, vol. 126 , pp. 144–148.Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (4):294-295.
Normativité et irréductibilité du mental.Martin Montminy - 2002 - Dialectica 56 (4):315–333.
Two Impredicative Theories of Properties and Sets.Andrea Cantini - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):403-420.
Rose Alan. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 , pp. 152–165.Rose Alan. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 , pp. 285–287.Rose Alan. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 , pp. 47–49. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (2):147-148.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
Zur Theorie der Gesellschaftsspiele.John von Neumann - 1928 - Mathematische Annalen 100:295--320.
Physikalische und mathematische Geometrie.Moritz Pasch - 1921 - Annalen der Philosophie 3 (1):362-374.
Mathematische Existenz.Oskar Becker - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:154-155.
Mathematische analyse des Raum problems.Hermann Weyl - 1923 - Annalen der Philosophie Und Philosophischen Kritik 4 (6):59-61.

Analytics

Added to PP
2016-06-30

Downloads
14 (#930,021)

6 months
3 (#880,460)

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