SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Annals of Pure and Applied Logic

Volumn 114, Issue 1-3, 2002, Pages 155-201

Type theories, toposes and constructive set theory: Predicative aspects of AST

(2) Moerdijk, Ieke a Palmgren, Erik b

a UTRECHT UNIVERSITY (Netherlands)

b UPPSALA UNIVERSITY (Sweden)

Author keywords

Constructive set theory; Martin L f type theory; Pretoposes; Small maps; Toposes

Indexed keywords

EID: 0037089746 PISSN: 01680072 EISSN: None Source Type: Journal
DOI: 10.1016/S0168-0072(01)00079-3 Document Type: Article

Times cited : (49)

References (23)

1
- 0001817320
- The type-theoretic interpretation of constructive set theory
- A. Macintyre et al. (Ed.), North-Holland, Amsterdam
- (1979) Logic Colloquium '77
- Aczel, P.¹

2
- 77956965797
- The type-theoretic interpretation of constructive set theory: Inductive definitions
- R.B. Marcus et al. (Ed.), North-Holland, Amsterdam
- (1986) Logic, Methodology and Philosophy of Science VII
- Aczel, P.¹

3
- 0042305488
- Draft manuscript, May 20, Available at URL
- (1997) Notes on Constructive Set Theory
- Aczel, P.¹

4
- 0001757111
- Stacks and equivalences of indexed categories
- (1979) Cahiers Topologie Géom. Differentielle Catégoriques , vol.20 , pp. 373-399
- Bunge, M.¹ Paré, R.²

5
- 0008012076
- Bernays-Gödel type-theory, Preprint, Department of Mathematics and Statistics, McGill University
- (1999)
- Butz, C.¹

6
- 0034388430
- Intuitionistic choice and classical logic
- (2000) Arch. Math. Logic , vol.39 , pp. 53-74
- Coquand, T.¹ Palmgren, E.²

7
- 33745177018
- Some applications of Kleene's method for intuitionistic systems
- A.R.D. Mathias, H. Rogers (Eds.), Springer, Berlin
- (1973) Cambridge Summer School in Mathematical Logic, Lecture Notes in Mathematics , vol.337 , pp. 113-170
- Friedman, H.¹

8
- 55349143897
- The groupoid interpretation of type theory
- G. Sambin, J. Smith (Eds.), Oxford University Press, Oxford
- (1998) Twenty-Five Years of Constructive Type Theory , pp. 83-111
- Hofmann, M.¹ Streicher, T.²

9
- 0003459887
- Academic Press, New York
- (1977) Topos Theory
- Johnstone, P.T.¹

10
- 0004189575
- Cambridge University Press, Cambridge
- (1995) Algebraic Set Theory
- Joyal, A.¹ Moerdijk, I.²

11
- 0003665261
- Springer, Berlin
- (1992) Sheaves in Geometry and Logic
- Mac Lane, S.¹ Moerdijk, I.²

12
- 0002546251
- About models for intuitionistic type theories and the notion of definitional equality
- S. Kanger (Ed.), North-Holland, Amsterdam
- (1975) Proc. 3rd Scandinavian Logic Symposium
- Martin-Lof, P.¹

13
- 0003882263
- Bibliopolis
- (1984) Intuitionistic Type Theory
- Martin-Lof, P.¹

14
- 0026185717
- Predicative type universes and primitive recursion
- IEEE Computer Society Press
- (1991) Proc. 6th Ann. Symp. on Logic in Computer Science , pp. 173-184
- Mendler, N.P.¹

15
- 0000994395
- Wellfounded trees in categories
- (2000) Ann. Pure Appl. Logic , vol.104 , pp. 189-218
- Moerdijk, I.¹ Palmgren, E.²

16
- 0345792493
- Intensional and extensional types in categories
- (In preparation)
- Moerdijk, I.¹ Palmgren, E.²

17
- 0000597434
- Constructive set theory
- (1975) J. Symbolic Logic , vol.40 , pp. 347-382
- Myhill, J.¹

18
- 0002564401
- On universes in type theory
- G. Sambin, J. Smith (Eds.), Oxford University Press, Oxford
- (1998) Twenty-Five Years of Constructive Type Theory , pp. 191-204
- Palmgren, E.¹

19
- 0032597536
- Elementary axioms for categories of classes
- IEEE Computer Society Press, New York
- (1998) Proc. 14th Ann. Symp. on Logic in Computer Science , pp. 77-85
- Simpson, A.K.¹

20
- 0003621034
- Investigations into intensional type theory
- Habilitationsschrift, Technische Universität München
- (1993)
- Streicher, T.¹

21
- 0008012991
- Definability of finite sums types in Martin-Löf's type theories
- (1983) Indagationes Mathematicae , vol.45 , pp. 475-481
- Troelstra, A.S.¹

22
- 0008102972
- North-Holland, Amsterdam
- (1988) Constructivism in Mathematics , vol.2
- Troelstra, A.S.¹ van Dalen, D.²

23
- 0008101633
- Ein Konstruktiver Weg zur Maβtheorie und Funktionalanalysis, Wissenschaftliche Buchgesellschaft, Darmstadt
- (1978)
- Zahn, P.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.