The word problem for division rings

Journal of Symbolic Logic 38 (3):428-436 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273039

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: G. L. Cherlin, The Model-Companion of a Class of Structures; L. Lipshitz, D. Saracino, The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements; Angus Macintyre, Model-Completeness for Sheaves of Structures. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
Review: Lou van den Dries, Angus Macintyre, David Marker, The Elementary Theory of Restricted Analytic Fields with Exponentiation; Lou van den Dries, Angus Macintyre, David Marker, Logarithmic-Exponential Power Series. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 , pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 , pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 , pp. 73–89. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
Forcing, Arithmetic, Division Rings.Joram Hirschfeld & William H. Wheeler - 1980 - Journal of Symbolic Logic 45 (1):188-190.
Review: Peter Aczel, Angus Macintyre, Leszek Pacholski, Jeff Paris, The Type Theoretic Interpretation of Constructive Set Theory. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-314.
Stable division rings.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (1):348 - 352.
Review: Joram Hirschfeld, William H. Wheeler, Forcing, Arithmetic, Division Rings. [REVIEW]H. Simmons - 1980 - Journal of Symbolic Logic 45 (1):188-190.
Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 , pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 , pp. 417–434. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
Macintyre Angus. On ω1-categorical theories of abelian groups. Fundamenta mathematicae, vol. 70 , pp. 253–270.Macintyre Angus. On ω1-categorical theories of fields. Fundamenta mathematicae, vol. 71 , pp. 1–25.Reineke Joachim. Minimale Gruppen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 21 , pp. 357–359.Baldwin J. T. and Saxl Jan. Logical stability in group theory. The journal of the Australian Mathematical Society, vol. 21 ser. A , pp. 267–276.Zil'bér B. I.. Gruppy i kol'ca, téoriá kotoryh katégorična . Fundamenta mathematicae, vol. 95 , pp. 173–188.Baur Walter, Cherlin Gregory, and Macintyre Angus. Totally categorical groups and rings. Journal of algebra, vol. 57 , pp. 407–440.Cherlin Gregory. Groups of small Morley rank. Annals of mathematical logic, vol. 17 , pp. 1–28.Cherlin G. and Shelah S.. Superstable fields and groups. Annals of mathematical logic, vol. 18 , pp. 227–270.Poizat Bruno. Sous-groupes définissables d 'un groupe stable. [REVIEW]Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.

Analytics

Added to PP
2009-01-28

Downloads
22 (#733,109)

6 months
7 (#491,170)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.
Annals of Mathematical Logic: Announcement of a New Periodical.[author unknown] - 1969 - Journal of Symbolic Logic 34 (3):532-532.

Add more references