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 [Book Review]

Journal of Symbolic Logic 19 (3):219-220 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268627

Links

PhilArchive



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

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

S. C. Kleene. A note on computable functionals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 , pp. 275–280; also Indagationes mathematicae, vol. 18 , pp. 275–280. [REVIEW]G. Kreisel - 1959 - Journal of Symbolic Logic 24 (1):51-52.
Kreisel G.. The axiom of choice and the class of hyperarithmetic functions. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 65 , pp. 307–319; also Indagationes mathematicae, vol. 24 , pp. 307–319. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):333-334.
L. E. J. Brouwer. Remarques sur la notion d'ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 263–265. - L. E. J. Brouwer. Sur la possibilité d'ordonner le continu. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 349–350. - L. E. J. Brouwer. On order in the continuum, and the relation of truth to non-contradictority. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 , pp. 357–358; also Indagationes mathematicae, vol. 13 , pp. 357–358. See Erratum, Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 55 , p. 79; also Indagationes mathematicae, vol. 14 , p. 79. - L. E. J. Brouwer. Over accumulatiekernen van oneindige kernsoorten . Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings, series A, vol. 54 , vol. 55 , pp. 439–441; also Indagationes mathematicae, vol. 14 , pp. 439–441. [REVIEW]Alfons Borgers - 1954 - Journal of Symbolic Logic 19 (2):125-126.
B. van Rootselaar. On intuitionistic difference relations. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 , pp. 316–322; also Inda-gationes mathematicae, vol. 22 , pp. 316-322. - B. van Rootselaar. Corrections. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 , pp. 132–133; also ibid., vol. 25 , pp. 132-133. [REVIEW]R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (3):519-520.
McKay C. G.. On 'finite logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 , pp. 363–365; also Indagationes mathematicae, vol. 29 , pp. 363–365. [REVIEW]T. Umezawa - 1971 - Journal of Symbolic Logic 36 (2):330-330.
Review: J. Heidema, A. P. J. van der Walt, Contributions to the Metamathematical Theory of Ideals. I: Domains with Dense Kernel; J. Heidema, Contributions to the Metamathematical Theory of Ideals. II: Metamathematical Prime Ideals and Radicals. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (1):158-159.
Łukasiewicz Jan. Comment on K. J. Cohen's remark. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , p. 113; also Indagationes mathematicae, p. 113. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):217-217.
Łukasiewicz Jan. On the intuitionistic theory of deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 , pp. 202–212; also Indagationes mathematicae, vol. 14 , pp. 202–212. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):216-216.
Tarski Alfred. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 , pp. 572–588, and vol. 58 , pp. 56–64; also Indagationes mathematicae, vol. 16 , pp. 572–588, and vol. 17 , pp. 56–64. [REVIEW]E. J. Cogan - 1956 - Journal of Symbolic Logic 21 (4):405-406.
Dwinger Ph.. Notes on Post algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 69 , pp. 462–478; also Indagationes mathematicae, vol. 28 , pp. 462–478. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 33 (4):626-626.
Suh Tae-il. Equationally complete non-associative algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 , pp. 321–324; also Indagationes mathematicae, vol. 30 , pp. 321–324. [REVIEW]Peter Perkins - 1971 - Journal of Symbolic Logic 36 (1):161-161.
Keisler H. Jerome. Ultraproducts and elementary classes. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 , pp. 477–495; also Indagationes mathematicae, vol. 23 , pp. 477–495. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (3):357-358.
Troelstra A. S.. On intermediate propositional logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 68 , pp. 141–152; also Indagationes mathematicae, vol. 27 , pp. 141–152. [REVIEW]Toshio Umezawa - 1969 - Journal of Symbolic Logic 33 (4):607-607.
P. Destouches-Février. Sur l'intuitionnisme et la conception strictement constructive. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 80–86; also _Indagationes mathematicae_ , vol. 13 (1951), pp. 80-86. [REVIEW]D. van Dalen - 1969 - Journal of Symbolic Logic 34 (2):306-307.
Griss G. F. C.. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 , pp. 456–463, and series A, vol. 54 , pp. 193–199, 452–471; also Indagationes mathematicae, vol. 12 , pp. 108–115, and vol. 13 , pp. 193–199, 452–471. [REVIEW]P. G. J. Vredenduin - 1954 - Journal of Symbolic Logic 19 (4):296-297.

Analytics

Added to PP
2016-06-30

Downloads
18 (#811,325)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reference in arithmetic.Lavinia Picollo - 2018 - Review of Symbolic Logic 11 (3):573-603.

Add more citations

References found in this work

No references found.

Add more references