Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp [Book Review]

Bulletin of Symbolic Logic 16 (3):407-409 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600000858

Links

PhilArchive



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

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

Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152.Jaap van Oosten - 2010 - Bulletin of Symbolic Logic 16 (3):407-409.
Jacobs Bart. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp. [REVIEW]R. A. G. Seely - 2000 - Bulletin of Symbolic Logic 6 (2):225-229.
Kleene S. C.. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A.. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 285–289.Kleene S. C.. Realizability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 100–104. [REVIEW]Donald L. Kreider - 1962 - Journal of Symbolic Logic 27 (2):242-243.
Well-foundedness in Realizability.M. Hofmann, J. Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Well-foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Two remarks on the Lifschitz realizability topos.Jaap van Oosten - 1996 - Journal of Symbolic Logic 61 (1):70-79.
A partial analysis of modified realizability.Jaap van Oosten - 2004 - Journal of Symbolic Logic 69 (2):421-429.
From sets and types to topology and analysis—towards practicable foundations for constructive mathematics. [REVIEW]Jaap van Oosten - 2006 - Bulletin of Symbolic Logic 12 (4):611-612.
REVIEWS-From sets and types to topology and analysis--Towards practicable foundations for constructive mathematics.L. Schuster Crosilla & Jaap van Oosten - 2006 - Bulletin of Symbolic Logic 12 (4):611-612.
The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp. [REVIEW]Jaap van Oosten - 2014 - Bulletin of Symbolic Logic 20 (4):497-500.
Ash C. J. and Knight J.. Computable structures and the hyperarithmetical hierarchy. Studies in logic and the foundations of mathematics, vol. 144. Elsevier, Amsterdam etc. 2000, xv + 346 pp. [REVIEW]Valentina Harizanov - 2001 - Bulletin of Symbolic Logic 7 (3):383-385.
Drake Frank R.. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp. [REVIEW]Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
Reviewed Work: Homotopy Type Theory: Univalent Foundations of Mathematics, http://homotopytypetheory.org/book, Institute for Advanced Study The Univalent Foundations Program.Review by: Jaap van Oosten - 2014 - Bulletin of Symbolic Logic 20 (4):497-500,.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Cantini Andrea. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp. [REVIEW]Thomas Strahm - 1998 - Journal of Symbolic Logic 63 (1):328-329.

Analytics

Added to PP
2015-02-02

Downloads
10 (#1,185,833)

6 months
2 (#1,193,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references