메뉴 건너뛰기




Volumn 6, Issue 1, 1996, Pages 137-159

On the very weak 0-1 law for random graphs with orders

Author keywords

Random graphs; Sum of models; Zero one law

Indexed keywords


EID: 0002358809     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/6.1.137     Document Type: Article
Times cited : (11)

References (15)
  • 1
    • 1642323117 scopus 로고
    • Observations metamathematiques sur les structures simplement ordonnes
    • Serie A, Fasc 5, Paris-Louvain
    • E. W. Beth. Observations metamathematiques sur les structures simplement ordonnes, Collection de Logique Mathematique, Serie A, Fasc 5, Paris-Louvain, pp. 29-35, 1954.
    • (1954) Collection de Logique Mathematique , pp. 29-35
    • Beth, E.W.1
  • 3
    • 8844251203 scopus 로고
    • Probabilities in finite models
    • R. Fagin, Probabilities in finite models, Journal of Symbolic Logic, 45, 129-141, 1976.
    • (1976) Journal of Symbolic Logic , vol.45 , pp. 129-141
    • Fagin, R.1
  • 4
    • 77956947365 scopus 로고
    • On local and non-local properties
    • J. Stern, ed., ; Studies in Logic Found, of Math North Holland
    • H. Gaifman. On local and non-local properties. In Proceedings of the Herbrand Symposium, Logic Colloquium, 81, J. Stern, ed., ; Studies in Logic Found, of Math Vol. 107, pp. 105-135. North Holland, 1982.
    • (1982) Proceedings of the Herbrand Symposium, Logic Colloquium, 81 , vol.107 , pp. 105-135
    • Gaifman, H.1
  • 5
    • 0002626181 scopus 로고
    • The first-order properties of algebraic systems
    • S. Feferman and R. L. Vaught. The first-order properties of algebraic systems, Fundamenta Mathematicae, 47, 57-103, 1959.
    • (1959) Fundamenta Mathematicae , vol.47 , pp. 57-103
    • Feferman, S.1    Vaught, R.L.2
  • 6
    • 34250470313 scopus 로고    scopus 로고
    • Range and degree of reliability of formulas in restricted predicate calculus
    • Y. V. Glebskii, D. I. Kogan, M. I. Liagonkii and V.A. Talanov. Range and degree of reliability of formulas in restricted predicate calculus Kibernetica, 5, 17-27, 1969. Translation of Cybernetics, 5, 142-154.
    • (1969) Kibernetica , vol.5 , pp. 17-27
    • Glebskii, Y.V.1    Kogan, D.I.2    Liagonkii, M.I.3    Talanov, V.A.4
  • 7
    • 34250470313 scopus 로고    scopus 로고
    • Translation
    • Y. V. Glebskii, D. I. Kogan, M. I. Liagonkii and V.A. Talanov. Range and degree of reliability of formulas in restricted predicate calculus Kibernetica, 5, 17-27, 1969. Translation of Cybernetics, 5, 142-154.
    • Cybernetics , vol.5 , pp. 142-154
  • 8
    • 85047893092 scopus 로고
    • Monadic second order theories
    • J. Barwise and S. Feferman, eds, Springer-Verlag, Berlin
    • Y. Gurevich. Monadic second order theories. In Model Theoretic Logics, J. Barwise and S. Feferman, eds, pp. 479-506, Springer-Verlag, Berlin, 1985.
    • (1985) Model Theoretic Logics , pp. 479-506
    • Gurevich, Y.1
  • 10
    • 51249190166 scopus 로고
    • Minimal models of theories of one function symbol
    • L. Marcus. Minimal models of theories of one function symbol, Israel Journal of Math, 18, 117-131, 1974.
    • (1974) Israel Journal of Math , vol.18 , pp. 117-131
    • Marcus, L.1
  • 11
    • 0001962915 scopus 로고
    • On direct products of theories
    • A. Mostowski. On direct products of theories, Journal of Symbolic Logic, 17, 1-31, 1952.
    • (1952) Journal of Symbolic Logic , vol.17 , pp. 1-31
    • Mostowski, A.1
  • 12
    • 0000098287 scopus 로고
    • The monadic theory of order
    • S. Shelah, The monadic theory of order, Annals of Mathematics, 102, 379-419, 1975.
    • (1975) Annals of Mathematics , vol.102 , pp. 379-419
    • Shelah, S.1
  • 13
    • 84968467395 scopus 로고
    • On zero-one laws for random graph
    • S. Shelah and J. Spencer. On zero-one laws for random graph. Journal of A.M.S, 1, 97-115, 1988.
    • (1988) Journal of A.M.S , vol.1 , pp. 97-115
    • Shelah, S.1    Spencer, J.2
  • 14
    • 0037977225 scopus 로고
    • Survey/expository paper: Zero one laws with variable probabilities
    • J. Spencer. Survey/expository paper: zero one laws with variable probabilities, Journal of Symbolic Logic, 58, 1-14, 1993.
    • (1993) Journal of Symbolic Logic , vol.58 , pp. 1-14
    • Spencer, J.1
  • 15
    • 85029971280 scopus 로고    scopus 로고
    • Very weak zero one law for random graphs with order and random binary functions
    • submitted
    • S. Shelah. Very weak zero one law for random graphs with order and random binary functions, Random Structures & Algorithms, submitted.
    • Random Structures & Algorithms
    • Shelah, S.1


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