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

메뉴 건너뛰기

Annals of Pure and Applied Logic

Volumn 99, Issue 1-3, 1999, Pages 231-239

A Boolean model of ultrafilters

(1) Coquand, Thierry a

a CHALMERS UNIVERSITY OF TECHNOLOGY (Sweden)

Author keywords

Boolean algebras; Boolean models; Constructive mathematics; Ramsey theorem; Ultrafilters

Indexed keywords

EID: 0033620998 PISSN: 01680072 EISSN: None Source Type: Journal
DOI: 10.1016/S0168-0072(99)00006-8 Document Type: Article

Times cited : (2)

References (19)

1
- 77956968984
- An introduction to inductive definitions
- J. Barwise (Ed.), Elsevier, Amsterdam
- P. Aczel, An introduction to inductive definitions, in: J. Barwise (Ed.), Handbook of Mathematical Logic, Elsevier, Amsterdam, 1977, pp. 739-782.
- (1977) Handbook of Mathematical Logic , pp. 739-782
- Aczel, P.¹

2
- 0000713891
- Stone-Cech compactification of locales II
- B. Banaschewski, C.J. Mulvey, Stone-Cech compactification of locales II, J. Pure Appl. Algebra 33 (1984) 107-122.
- (1984) J. Pure Appl. Algebra , vol.33 , pp. 107-122
- Banaschewski, B.¹ Mulvey, C.J.²

3
- 0003597708
- Oxford Science Publications, Oxford
- J.L. Bell, Toposes and Local Set Theories, An Introduction, Oxford Science Publications, Oxford, 1988.
- (1988) Toposes and Local Set Theories, An Introduction
- Bell, J.L.¹

4
- 0003922927
- McGraw-Hill, New York
- E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
- (1967) Foundations of Constructive Analysis
- Bishop, E.¹

5
- 0001913055
- La logique des topos
- A. Boileau, A. Joyal, La logique des topos, J. Symbolic Logic 46 6-16.
- J. Symbolic Logic , vol.46 , pp. 6-16
- Boileau, A.¹ Joyal, A.²

6
- 0031507174
- Minimal invariant subspaces
- Th. Coquand, Minimal invariant subspaces, J. Symbolic Logic, 62 (1997) 689-698.
- (1997) J. Symbolic Logic , vol.62 , pp. 689-698
- Coquand, Th.¹

7
- 0008981555
- Intuitionistic choice and classical logic
- to appear
- Th. Coquand, E. Palmgren, Intuitionistic choice and classical logic, Arch. Math. Logic, 1999, to appear.
- (1999) Arch. Math. Logic
- Coquand, Th.¹ Palmgren, E.²

8
- 0000872763
- Borel sets and Ramsey's theorem
- F. Galvin, K. Prikry, Borel sets and Ramsey's theorem, J. Symbolic Logic 38 (1973) 193-198.
- (1973) J. Symbolic Logic , vol.38 , pp. 193-198
- Galvin, F.¹ Prikry, K.²

9
- 0003792618
- Wiley, New York
- R. Graham, B. Rothschild, J. Spencer, Ramsey Theory, Wiley, New York, 1980
- (1980) Ramsey Theory
- Graham, R.¹ Rothschild, B.² Spencer, J.³

10
- 0003320845
- Lectures on Boolean algebras
- P.R. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, vol. 1, 1963.
- (1963) Van Nostrand Mathematical Studies , vol.1
- Halmos, P.R.¹

11
- 34250963991
- Die logischen grundlagen der mathematik
- D. Hilbert, Die logischen grundlagen der mathematik, Math. Ann. 88 (1923) 151-165.
- (1923) Math. Ann. , vol.88 , pp. 151-165
- Hilbert, D.¹

12
- 0004288068
- Almqvist & Wiskell, Stockholm
- P. Martin-Löf, Notes on Constructive Mathematics, Almqvist & Wiskell, Stockholm, 1970.
- (1970) Notes on Constructive Mathematics
- Martin-Löf, P.¹

13
- 0009027445
- A globalization of the Hahn-Banach theorem
- Ch. Mulvey, J.W. Pelletier, A globalization of the Hahn-Banach theorem, Advances in Mathematics, vol. 89, 1991, pp. 1-59.
- (1991) Advances in Mathematics , vol.89 , pp. 1-59
- Mulvey, Ch.¹ Pelletier, J.W.²

14
- 0031531963
- Constructive sheaf semantics
- E. Palmgren, Constructive sheaf semantics, Math. Logic Quart. 43 (1997) 321-325.
- (1997) Math. Logic Quart. , vol.43 , pp. 321-325
- Palmgren, E.¹

15
- 0003729586
- Oxford University Press, Oxford
- K. Petersson, B. Nordström, J. Smith, Programming in Martin-Löf Type Theory, Oxford University Press, Oxford, 1990.
- (1990) Programming in Martin-Löf Type Theory
- Petersson, K.¹ Nordström, B.² Smith, J.³

16
- 0002207609
- Fonctions additives non complètement additives et fonctions non mesurables
- W. Sierpinski, Fonctions additives non complètement additives et fonctions non mesurables, Fund. Math. 30 (1938) 96-99.
- (1938) Fund. Math. , vol.30 , pp. 96-99
- Sierpinski, W.¹

17
- 0003069505
- Une contribution à la théorie de la mesure
- A. Tarski, Une contribution à la théorie de la mesure, Fund. Math. 15 (1930) 42-50.
- (1930) Fund. Math. , vol.15 , pp. 42-50
- Tarski, A.¹

18
- 4244210658
- North-Holland, Amsterdam
- A. Troelstra, D. van Dalen, Constructivism in Mathematics, vols. 1 and 2, North-Holland, Amsterdam, 1988.
- (1988) Constructivism in Mathematics , vol.1-2
- Troelstra, A.¹ Van Dalen, D.²

19
- 0000212254
- Concerning functions of sets
- S. Ulam, Concerning functions of sets, Fund. Math. 14 (1929) 231-233.
- (1929) Fund. Math. , vol.14 , pp. 231-233
- Ulam, S.¹

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