Undecidable theories of valuated abelian groups
Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris, Mémoires de la Société Mathématique de France, Série 2, no. 16 (1984), pp. 67-76.
@incollection{MSMF_1984_2_16__67_0,
     author = {Schmitt, Peter H.},
     title = {Undecidable theories of valuated abelian groups},
     booktitle = {Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 \`a Paris},
     editor = {Delon, F. and Lascar, D. and Parigot, M. and Sabbagh, G.},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     pages = {67--76},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {16},
     year = {1984},
     doi = {10.24033/msmf.313},
     mrnumber = {87a:03080},
     zbl = {0555.20034},
     url = {http://archive.numdam.org/articles/10.24033/msmf.313/}
}
TY  - CHAP
AU  - Schmitt, Peter H.
TI  - Undecidable theories of valuated abelian groups
BT  - Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris
AU  - Collectif
ED  - Delon, F.
ED  - Lascar, D.
ED  - Parigot, M.
ED  - Sabbagh, G.
T3  - Mémoires de la Société Mathématique de France
PY  - 1984
SP  - 67
EP  - 76
IS  - 16
PB  - Société mathématique de France
UR  - http://archive.numdam.org/articles/10.24033/msmf.313/
DO  - 10.24033/msmf.313
ID  - MSMF_1984_2_16__67_0
ER  - 
%0 Book Section
%A Schmitt, Peter H.
%T Undecidable theories of valuated abelian groups
%B Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris
%A Collectif
%E Delon, F.
%E Lascar, D.
%E Parigot, M.
%E Sabbagh, G.
%S Mémoires de la Société Mathématique de France
%D 1984
%P 67-76
%N 16
%I Société mathématique de France
%U http://archive.numdam.org/articles/10.24033/msmf.313/
%R 10.24033/msmf.313
%F MSMF_1984_2_16__67_0
Schmitt, Peter H. Undecidable theories of valuated abelian groups, dans Compte-rendu de la table ronde de logique des 15 et 16 octobre 1983 à Paris, Mémoires de la Société Mathématique de France, Série 2, no. 16 (1984), pp. 67-76. doi : 10.24033/msmf.313. http://archive.numdam.org/articles/10.24033/msmf.313/

[1] Baur, W. Undecidability of the theory of abelian groups with a subgroup Proc.AMS 55 (1976) 125-128 | MR | Zbl

[2] Hunter, R. & Walker, E. Valuated p-groups in : Abelian group theory, Proc.Oberwolfach 1981, Spinger LN in Math. vol.874, R. Göbel, E.Walker (eds.) pp 350-373 | MR | Zbl

[3] Monk, J.D. Mathematical Logic Graduate Texts in Mathematics, Springer Verlag, 1976 | MR | Zbl

[4] Richman, F. A guide to valuated groups in : Abelien Group Theory, Proc. 2. New Mexica State Univ. Conf. 1976, Springer LN in Math. vol. 616, pp 73-86 | MR | Zbl

[5] Richman, F. & Walker, E.A. Valuated abelian groups Journal of Algebra 56 (1979) 145-167 | MR | Zbl

[6] Slobodskoi, A.M. & Fridman, E.I. Theories of abelien groups with predicates specifying a subgroup Algebra and Logic 14 (1975) 353-355 | MR | Zbl

Cité par Sources :