메뉴 건너뛰기




Volumn 39, Issue 2, 2000, Pages 89-102

On stability in finite models

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0034405645     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050005     Document Type: Article
Times cited : (5)

References (5)
  • 1
    • 0002586159 scopus 로고
    • Extended logics: The general framework
    • ed. J. Barwise and S. Feferman, Springer-Verlag, New York
    • E.-B. Ebbinghaus, Extended logics: the general framework, in: Model-Teoretic Logics, ed. J. Barwise and S. Feferman, Springer-Verlag, New York, 1985.
    • (1985) Model-Teoretic Logics
    • Ebbinghaus, E.-B.1
  • 3
    • 0000100134 scopus 로고
    • Toward logic tailored for computer science
    • Computation and Proof Theory, ed. Richter et al.
    • Y. Gurevich, Toward logic tailored for computer science, in: Computation and Proof Theory, ed. Richter et al., Springer Lecture Notes in Math. vol. 1104, 1984, 175-216.
    • (1984) Springer Lecture Notes in Math. , vol.1104 , pp. 175-216
    • Gurevich, Y.1
  • 5
    • 0004290388 scopus 로고
    • Classification theory
    • North-Holland, Amsterdam, 2nd rev. ed.
    • S. Shelah, Classification Theory, Stud. Logic Found. Math. 92, North-Holland, Amsterdam, 2nd rev. ed., 1990.
    • (1990) Stud. Logic Found. Math. , vol.92
    • Shelah, S.1


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