메뉴 건너뛰기




Volumn 320, Issue 2, 1990, Pages 581-592

Semialgebraic expansions of c

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84966229094     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9947-1990-0964900-4     Document Type: Article
Times cited : (10)

References (12)
  • 3
    • 84966254254 scopus 로고
    • Ordered Fields and Real Algebraic Geometry, edited by D. W. Dubois and T. Recio, Contemp. Math., Amer. Math. Soc., Providence, R. I
    • M. Coste and M. F. Roy, La topologie du spectre réel, Ordered Fields and Real Algebraic Geometry, edited by D. W. Dubois and T. Recio, Contemp. Math., vol. 8, Amer. Math. Soc., Providence, R. I., 1982.
    • (1982) La Topologie Du Spectre réel , vol.8
    • Coste, M.1    Roy, M.F.2
  • 5
    • 84966222763 scopus 로고
    • Methods in Mathematical Logic, edited by C. A. DiPrisco, Lecture Notes in Math., Springer-Verlag
    • M. Dickman, Applications of model theory to real algebraic geometry, Methods in Mathematical Logic, edited by C. A. DiPrisco, Lecture Notes in Math., vol 1130, Springer-Verlag, 1985.
    • (1985) Applications of Model Theory to Real Algebraic Geometry , vol.1130
    • Dickman, M.1
  • 6
    • 84966226849 scopus 로고
    • (R, +, •, exp), Logic Colloquium’82, edited by G. Lolli, G. Longo and A. Marcja, North-Holland
    • L. van den Dries, Remarks on Tarski’s problem concerning (R, +, •, exp), Logic Colloquium’82, edited by G. Lolli, G. Longo and A. Marcja, North-Holland, 1984.
    • (1984) Remarks on Tarski’s Problem Concerning
    • Van Den Dries, L.1
  • 11
    • 0004235835 scopus 로고
    • Nur Al-Mantiq Wal-Ma’rifah
    • B. Poizat, Groupes stables, Nur Al-Mantiq Wal-Ma’rifah, 1987.
    • (1987) Groupes Stables
    • Poizat, B.1
  • 12
    • 84966260155 scopus 로고
    • The hyperplane sections of normal varieties
    • A. Seidenberg, The hyperplane sections of normal varieties, Trans. Amer. Math. Soc. 69 (1950).
    • (1950) Trans. Amer. Math. Soc. , vol.69
    • Seidenberg, A.1


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