-
1
-
-
1642323117
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|