Keywords
- Geometric Algebra
- Quantifier Elimination
- Linear Elimination
- Nous Donnons
- Nous Aurons
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliographie
E. ARTIN, Geometric algebra, Interscience pub. New-York, 1957.
J. BARWISE (ed.), Handbook of Mathematical Logic, North Holland (1977).
Ch. BERLINE, rings which admit elimination of quantifiers, J. Symbolic Logic 46 (1980), 56–58.
M. BOFFA, A. MACINTYRE and F. POINT, The quantifier elimination problem for rings without nilpotent elements and for semisimple rings, Proc. of the Conference on Application of Logic to Algebra and Arithmetic Held at Bierutowice-Karpacz, Lecture Notes in Maths no834, Springer-Verlag (1980), 20.
M. BOFFA, Elimination des quantificateurs en algèbre, Bull. Soc. Math. Belg. (série B), 32 (1980), p. 107–133.
M. BOFFA, Linear elimination, notes non publiées (Oberwolfach, Janvier 1984).
M. BOFFA, Linear elemination, résumés des exposés du Modelltheorie-Tagung. 1984, Math. Forschungsinstitut Oberwolfach.
M. BOFFA, C. MICHAUX, F. POINT, P. VAN PRAAG, L'élimination linéaire dans les corps, C.R. Acad. Sci. Paris, T.300, série 1, no11, 1985.
J. DIEUDONNE, Les déterminants sur un corps non commutatif, Bull. Soc. Math. France, 71 (1943), 27–45.
P.K. DRAXL, Skew Fields, Cambridge University Press, 1982.
A. LEROY, Les octaves de CAYLEY ont l'élimination linéaire-2 (à paraître).
A. MACINTYRE, on ω1-categorical theories of fields, Fund. Math. 71 (1971), 1–25.
J.-F. PABION, Logique mathématique, Hermann, 1976.
F. POINT, Sur l'élimination linéaire, C.R. Acad. Sc. Paris, 295, série 1, 1982, p. 211–213.
F. POINT, Quantifier elimination for projectable L-groups and Linear elimination for rings, thèse, Mons, 1983.
L. VAN DEN DRIES, Model theory of fields, thèse, Utrecht, 1978.
P. VAN PRAAG, L'élimination linéaire dans les corps et le déterminant de DIEUDONNE, publications de l'Institut de Mathématique pure et appliquée de l'Université Catholique de Louvain, rapport no66, avril 1985.
P. VAN PRAAG, Remarques sur l'élimination linéaire dans les corps et le déterminant de DIEUDONNE, Bull. Soc. Math. de Belg. série A, numéro spécial d'hommage à Guy HIRSCH, à paraître.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag
About this paper
Cite this paper
Van Praag, P. (1986). L'elimination lineaire dans les corps gauches. In: Malliavin, MP. (eds) Séminaire d'Algèbre Paul Dubreil et Marie-Paule Malliavin. Lecture Notes in Mathematics, vol 1220. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0099507
Download citation
DOI: https://doi.org/10.1007/BFb0099507
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17185-0
Online ISBN: 978-3-540-47255-1
eBook Packages: Springer Book Archive
