Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

  • This entry has no external links. Add one.
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

Categorical Foundations and Mathematical Practice.C. McLarty - 2012 - Philosophia Mathematica 20 (1):111-113.
Well-foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Categories without Structures.Andrei Rodin - 2011 - Philosophia Mathematica 19 (1):20-46.
Sheaf toposes for realizability.Steven Awodey & Andrej Bauer - 2008 - Archive for Mathematical Logic 47 (5):465-478.
Foundations as truths which organize mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.
Categorical foundations of mathematics or how to provide foundations for abstract mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
The ethnomethodological foundations of mathematics.Eric Livingston - 1986 - Boston: Routledge and Kegan Paul.
Extensional realizability.Jaap van Oosten - 1997 - Annals of Pure and Applied Logic 84 (3):317-349.
Categorical Foundations and Foundations of Category Theory.Solomon Feferman - 1980 - In R. E. Butts & J. Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory. Springer. pp. 149-169.
Model completeness for trivial, uncountably categorical theories of Morley rank 1.Alfred Dolich, Michael C. Laskowski & Alexander Raichev - 2006 - Archive for Mathematical Logic 45 (8):931-945.
Categorical Foundations of Mathematics.Jean-Pierre Marquis - 2012 - Review of Symbolic Logic.
Relative and modified relative realizability.Lars Birkedal & Jaap van Oosten - 2002 - Annals of Pure and Applied Logic 118 (1-2):115-132.
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Learning from questions on categorical foundations.Colin McLarty - 2005 - Philosophia Mathematica 13 (1):44-60.

Analytics

Added to PP
2015-02-04

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Jaap Van Oosten
Leiden University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references