메뉴 건너뛰기




Volumn 90, Issue C, 1977, Pages 783-815

Descriptive Set Theory: Projective Sets

(1)  Martin, Donald A a  

a NONE

Author keywords

[No Author keywords available]

Indexed keywords


EID: 77956945924     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(08)71121-2     Document Type: Article
Times cited : (21)

References (36)
  • 1
    • 0039109013 scopus 로고
    • Separation principles in the hierarchies of classical and effective descriptive set theory
    • Addison, J.W., Separation principles in the hierarchies of classical and effective descriptive set theory. Fund. Math. 46 (1959), 123–135.
    • (1959) Fund. Math. , vol.46 , pp. 123-135
    • Addison, J.W.1
  • 2
    • 0010760069 scopus 로고
    • Some consequences of the axiom of constructibility
    • Some consequences of the axiom of constructibility. Fund. Math. 46 (1959), 337–357.
    • (1959) Fund. Math. , vol.46 , pp. 337-357
  • 3
    • 0040545869 scopus 로고
    • Some consequences of the axiom of definable determinateness
    • Addison, J.W., Moschovakis, Y.N., Some consequences of the axiom of definable determinateness. Proc. Nat. Acad. Sci. U.S.A. 59 (1968), 708–712.
    • (1968) Proc. Nat. Acad. Sci. U.S.A. , vol.59 , pp. 708-712
    • Addison, J.W.1    Moschovakis, Y.N.2
  • 4
    • 0011599209 scopus 로고
    • Infinite games and analytic sets
    • Blackwell, D., Infinite games and analytic sets. Proc. Nat. Acad. Sci. U.S.A. 58 (1967), 1836–1837.
    • (1967) Proc. Nat. Acad. Sci. U.S.A. , vol.58 , pp. 1836-1837
    • Blackwell, D.1
  • 5
    • 0000762939 scopus 로고
    • The independence of the continuum hypothesis I
    • Cohen, P.J., The independence of the continuum hypothesis I. Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 1143–1148.
    • (1963) Proc. Nat. Acad. Sci. U.S.A. , vol.50 , pp. 1143-1148
    • Cohen, P.J.1
  • 6
    • 0000762939 scopus 로고
    • The independence of the continuum hypothesis II
    • The independence of the continuum hypothesis II. Proc. Nat. Acad. Sci. U.S.A. 50 (1964), 105–110.
    • (1964) Proc. Nat. Acad. Sci. U.S.A. , vol.50 , pp. 105-110
  • 7
    • 0011542907 scopus 로고
    • Infinite games of perfect information
    • Princeton University Press Princeton, NJ Annals of Mathematics Studies
    • Davis, Morton, Infinite games of perfect information. Advances in Game Theory, 52, 1964, Princeton University Press, Princeton, NJ, 85–101 Annals of Mathematics Studies.
    • (1964) Advances in Game Theory , vol.52 , pp. 85-101
    • Davis, M.1
  • 8
    • 0000986217 scopus 로고
    • Higher set theory and mathematical practice
    • Friedman, H., Higher set theory and mathematical practice. Annals of Math. Logic 2 (1971), 326–357.
    • (1971) Annals of Math. Logic , vol.2 , pp. 326-357
    • Friedman, H.1
  • 9
    • 0001255444 scopus 로고
    • Infinite games with perfect information
    • Princeton University Press Princeton, NJ Annals of Mathematics Studies
    • Gale, D., Stewart, F.M., Infinite games with perfect information. Contributions to the Theory of Games, 28, 1953, Princeton University Press, Princeton, NJ, 245–266 Annals of Mathematics Studies.
    • (1953) Contributions to the Theory of Games , vol.28 , pp. 245-266
    • Gale, D.1    Stewart, F.M.2
  • 10
    • 0000599738 scopus 로고
    • The consistency of the axiom of choice and of the generalized continuum hypothesis
    • Gödel, K., The consistency of the axiom of choice and of the generalized continuum hypothesis. Proc. Nat. Acad. Sci. U.S.A. 24 (1938), 556–557.
    • (1938) Proc. Nat. Acad. Sci. U.S.A. , vol.24 , pp. 556-557
    • Gödel, K.1
  • 13
    • 0009949264 scopus 로고
    • Arithmetical predicates and function quantifiers
    • Arithmetical predicates and function quantifiers. Trans. Am. Math. Soc. 79 (1955), 312–340.
    • (1955) Trans. Am. Math. Soc. , vol.79 , pp. 312-340
  • 14
    • 0040744150 scopus 로고
    • Sur I'uniformisation des komplémentaires analytiques et les ensembles projectifs de la seconde classe
    • Kondo, M., Sur I'uniformisation des komplémentaires analytiques et les ensembles projectifs de la seconde classe. Japan J. Math. 15 (1938), 197–230.
    • (1938) Japan J. Math. , vol.15 , pp. 197-230
    • Kondo, M.1
  • 15
    • 0007284236 scopus 로고
    • Sur les fonctions representable analytiquement
    • 60 série
    • Lebesgue, H., Sur les fonctions representable analytiquement. J. de Math. 1 (1905), 139–216 60 série.
    • (1905) J. de Math. , vol.1 , pp. 139-216
    • Lebesgue, H.1
  • 16
    • 1542279665 scopus 로고
    • Sur la classification de M. Baire
    • Lusin, N., Sur la classification de M. Baire. C.R. Acad. Sci. Paris 164 (1917), 91–94.
    • (1917) C.R. Acad. Sci. Paris , vol.164 , pp. 91-94
    • Lusin, N.1
  • 17
    • 0039941745 scopus 로고
    • Sur les ensembles projectifis de M. Henri Lebesgue
    • Sur les ensembles projectifis de M. Henri Lebesgue. C.R. Acad. Sci. Paris 180 (1925), 1572–1574.
    • (1925) C.R. Acad. Sci. Paris , vol.180 , pp. 1572-1574
  • 18
    • 84862055390 scopus 로고
    • Choix effectif d'un point dans un compltmentaire analytique arbitraire, donnt par un crible
    • Lusin, N., Novikov, P., Choix effectif d'un point dans un compltmentaire analytique arbitraire, donnt par un crible. Fund. Math. 25 (1935), 559–560.
    • (1935) Fund. Math. , vol.25 , pp. 559-560
    • Lusin, N.1    Novikov, P.2
  • 19
    • 0003376131 scopus 로고
    • Sur un ensemble non mesurable B
    • 70 série
    • Lusin, N., Sierpinski, W., Sur un ensemble non mesurable B. J de Math. 2 (1923), 53–72 70 série.
    • (1923) J de Math. , vol.2 , pp. 53-72
    • Lusin, N.1    Sierpinski, W.2
  • 20
    • 51249189324 scopus 로고
    • A Souslin operation for n
    • Mansfield, R., A Souslin operation for n:. Israel J. Math. 9:3 (1971), 367–369.
    • (1971) Israel J. Math. , vol.9 , Issue.3 , pp. 367-369
    • Mansfield, R.1
  • 21
    • 84968480682 scopus 로고
    • The axiom of determinateness and reduction principles in the analytical hierarchy
    • Martin, D.A., The axiom of determinateness and reduction principles in the analytical hierarchy. Bull. Am. Math. Soc. 74 (1968), 687–689.
    • (1968) Bull. Am. Math. Soc. , vol.74 , pp. 687-689
    • Martin, D.A.1
  • 22
    • 0011668796 scopus 로고
    • Measurable cardinals and analytic games
    • Measurable cardinals and analytic games. Fund. Math. 66 (1970), 287–291.
    • (1970) Fund. Math. , vol.66 , pp. 287-291
  • 23
    • 0001434559 scopus 로고
    • Borel determinacy
    • Borel determinacy. Ann. of Math. 102 (1975), 363–371.
    • (1975) Ann. of Math. , vol.102 , pp. 363-371
  • 24
    • 85023454589 scopus 로고
    • Projective sets and cardinal numbers
    • to appear
    • Projective sets and cardinal numbers. J. Symbolic Logic, 1977 to appear.
    • (1977) J. Symbolic Logic
  • 25
    • 0000684577 scopus 로고
    • A basis theorem for ∑13 sets of reals
    • Martin, D.A., Solovay, R.M., A basis theorem for ∑13 sets of reals. Ann. of Math. 89 (1969), 138–160.
    • (1969) Ann. of Math. , vol.89 , pp. 138-160
    • Martin, D.A.1    Solovay, R.M.2
  • 26
    • 77956964530 scopus 로고
    • Determinacy and prewellorderings of the continuum
    • Y. Bar-Hillel North-Holland Amsterdam
    • Moschovakis, Y.N., Determinacy and prewellorderings of the continuum. Bar-Hillel, Y., (eds.) Mathematical Logic and Foundations of Set Theory, 1970, North-Holland, Amsterdam, 24–62.
    • (1970) Mathematical Logic and Foundations of Set Theory , pp. 24-62
    • Moschovakis, Y.N.1
  • 27
    • 0040834066 scopus 로고
    • Uniformization in a playful universe
    • Uniformization in a playful universe. Bull. Am. Math. Soc. 77 (1971), 731–736.
    • (1971) Bull. Am. Math. Soc. , vol.77 , pp. 731-736
  • 28
    • 77956963632 scopus 로고
    • Analytical definability in a playful universe
    • North-Holland Amsterdam
    • Analytical definability in a playful universe. Suppes, P., et al. (eds.) Logic, Methodology and Philosophy of science IV, 1973, North-Holland, Amsterdam, 77–85.
    • (1973) Logic, Methodology and Philosophy of science IV , pp. 77-85
    • Suppes, P.1
  • 29
    • 85023492686 scopus 로고
    • North-Holland Amsterdam to appear
    • Descriptive Set Theory, 1978, North-Holland, Amsterdam to appear.
    • (1978) Descriptive Set Theory
  • 30
    • 0005475794 scopus 로고
    • On the axiom of determinateness
    • Mycielski, J., On the axiom of determinateness. Fund. Math. 53 (1964), 204–224.
    • (1964) Fund. Math. , vol.53 , pp. 204-224
    • Mycielski, J.1
  • 31
    • 0040113446 scopus 로고
    • On the Lebesgue measurability and the axiom of determinateness
    • Mycielski, J., Swierczkowski, S., On the Lebesgue measurability and the axiom of determinateness. Fund. Math. 54 (1964), 67–71.
    • (1964) Fund. Math. , vol.54 , pp. 67-71
    • Mycielski, J.1    Swierczkowski, S.2
  • 32
    • 0002135020 scopus 로고
    • The problem of predicativity
    • Y. Bar-Hillel et al. (eds.) Magnes Press Jerusalem dedicated to A.A. Fraenkel
    • Shoenfield, J.R., The problem of predicativity. Bar-Hillel, Y., et al. (eds.) Essays on the Foundations of Mathematics, 1961, Magnes Press, Jerusalem, 132–139 dedicated to A.A. Fraenkel.
    • (1961) Essays on the Foundations of Mathematics , pp. 132-139
    • Shoenfield, J.R.1
  • 33
    • 0039349429 scopus 로고
    • Sur une classe d'ensembles
    • Sierpinski, W., Sur une classe d'ensembles. Fund. Math. 7 (1925), 237–243.
    • (1925) Fund. Math. , vol.7 , pp. 237-243
    • Sierpinski, W.1
  • 34
    • 0000120420 scopus 로고
    • Measurable cardinals and Δ13 well-orderings
    • Silver, J.H., Measurable cardinals and Δ13 well-orderings. Ann. of Math. 94 (1971), 414–446.
    • (1971) Ann. of Math. , vol.94 , pp. 414-446
    • Silver, J.H.1
  • 35
    • 0001806086 scopus 로고
    • On the cardinality of ∑12 sets of reals
    • Springer Berlin
    • Solovay, R.M., On the cardinality of ∑12 sets of reals. Foundations of Mathematics, 1969, Springer, Berlin, 58–73.
    • (1969) Foundations of Mathematics , pp. 58-73
    • Solovay, R.M.1
  • 36
    • 0002548418 scopus 로고
    • A model of set-theory in which every set of reals is Lebesgue measurable
    • A model of set-theory in which every set of reals is Lebesgue measurable. Ann. of Math. 92 (1970), 1–56.
    • (1970) Ann. of Math. , vol.92 , pp. 1-56


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