Local realizability toposes and a modal logic for computability - (Extended Abstract)

Electronic Notes in Theoretical Computer Science

Volumn 23, Issue 1, 1999, Pages 13-26

  Awodey, Steven ^a   Birkedal, Lars ^b   Scott, Dana S ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMBINATORIAL MATHEMATICS; COMPUTER SCIENCE; DIFFERENTIATION (CALCULUS); MATHEMATICAL MODELS; SET THEORY;

LOCAL REALIZABILITY TOPOSES; MODAL CALCULUS; MODAL LOGIC; REAL NUMBERS;

FORMAL LOGIC;

EID: 19044392413     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00101-X     Document Type: Conference Paper

References (10)

1. ZE-L. Benaissa, E. Moggi, W. Taha, and T. Sheard. A categorical analysis of multi-level languages. Manuscript, January 1999.
2. P.N. Benton. A mixed linear and non-linear logic: Proofs, terms and models (preliminary report). Technical report, University of Cambridge, 1995.
3. L. Birkedal. Developing theories of types of computability. Thesis Proposal, April 1998.
4. Fourman M.P., Scott D.S. Sheaves and logic. Fourman M.P., Mulvey C.J., Scott D.S. Applications of Sheaves. 1979;302-401 Springer-Verlag
5. Hyland J.M.E., Johnstone P.T., Pitts A.M. Tripos theory. Math. Proc. Camb. Phil. Soc. 88:1980;205-232
6. P.T. Johnstone. Topos Theory. Number 10 in LMS Mathematical Monographs. Academic Press, London, 1977.
7. Johnstone P.T., Moerdijk I. Local maps of toposes. Proc. London Math. Soc. 3:(58):1989;281-305
8. Kelly G.M., Lawvere F.W. On the complete lattice of essential localizations. Bull. Soc. Math. Belg. Ser. A. XLI:(2):1989;289-319
9. F.W. Lawvere. Toposes generated by codiscrete objects in combinatorial topology and functional analysis. Notes for Colloquium lectures given at North Ryde, New South Wales, Australia on April 18, 1989 and at Madison, USA, on December 1, 1989, 1989.
10. F.W. Lawvere. Some thoughts on the future of category theory. In A. Carboni, M.C. Pedicchio, and G. Rosolini, editors, Category Theory. Proceedings of the International conference held in Como, Italy, July 22-28, 1990, volume1488 of Lecture Notes in Mathematics, pages 1013. Springer-Verlag, 1991.