Undecidable theories of valuated abelian groups

Peter H. Schmitt

Mémoires de la Société Mathématique de France (1984)

  • Volume: 16, page 67-76
  • ISSN: 0249-633X

How to cite

top

Schmitt, Peter H.. "Undecidable theories of valuated abelian groups." Mémoires de la Société Mathématique de France 16 (1984): 67-76. <http://eudml.org/doc/94851>.

@article{Schmitt1984,
author = {Schmitt, Peter H.},
journal = {Mémoires de la Société Mathématique de France},
keywords = {finitely valued p-valuated groups; hereditarily undecidable; countable valued p-valuated countable p-local torsion-free abelian groups},
language = {eng},
pages = {67-76},
publisher = {Société mathématique de France},
title = {Undecidable theories of valuated abelian groups},
url = {http://eudml.org/doc/94851},
volume = {16},
year = {1984},
}

TY - JOUR
AU - Schmitt, Peter H.
TI - Undecidable theories of valuated abelian groups
JO - Mémoires de la Société Mathématique de France
PY - 1984
PB - Société mathématique de France
VL - 16
SP - 67
EP - 76
LA - eng
KW - finitely valued p-valuated groups; hereditarily undecidable; countable valued p-valuated countable p-local torsion-free abelian groups
UR - http://eudml.org/doc/94851
ER -

References

top
  1. [1] Baur, W.Undecidability of the theory of abelian groups with a subgroup Proc.AMS 55 (1976) 125-128 Zbl0328.02032MR54 #4953
  2. [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 Zbl0464.20036MR83h:20051
  3. [3] Monk, J.D.Mathematical Logic Graduate Texts in Mathematics, Springer Verlag, 1976 Zbl0354.02002MR57 #5656
  4. [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 Zbl0372.20040MR58 #929
  5. [5] Richman, F. & Walker, E.A.Valuated abelian groups Journal of Algebra 56 (1979) 145-167 Zbl0401.20049MR80k:20053
  6. [6] Slobodskoi, A.M. & Fridman, E.I.Theories of abelien groups with predicates specifying a subgroup Algebra and Logic 14 (1975) 353-355 Zbl0386.03015MR55 #12512

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.