Some model-theoretic results in the algebraic theory of quadratic forms

Annals of Pure and Applied Logic 112 (2-3):189-223 (2001)
  Copy   BIBTEX

Abstract

This paper studies some model-theoretic properties of special groups of finite type. Special groups are a first-order axiomatization of the algebraic theory of quadratic forms, introduced by Dickmann and Miraglia, which is essentially equivalent to abstract Witt rings. More precisely, we consider elementary equivalence, saturation, elementary embeddings, quantifier elimination, stability and Morley rank

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(01)00029-x

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,706

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

Erratum to: “Some model-theoretic results in the algebraic theory of quadratic forms” [Ann. Pure Appl. Logic 112 (2–3) (2001) 189–223]. [REVIEW]Vincent Astier - 2009 - Annals of Pure and Applied Logic 160 (1):127-128.
Lattice-ordered reduced special groups.M. Dickmann, M. Marshall & F. Miraglia - 2005 - Annals of Pure and Applied Logic 132 (1):27-49.
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank.Philip Scowcroft - 2007 - Annals of Pure and Applied Logic 149 (1-3):40-80.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Fields of finite Morley rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
On central extensions of algebraic groups.Tuna Altinel & Gregory Cherlin - 1999 - Journal of Symbolic Logic 64 (1):68-74.
Centralisateurs génériques.Bruno Poizat - 2013 - Journal of Symbolic Logic 78 (1):290-306.
Axiomatization of local-global principles for pp-formulas in spaces of orderings.Vincent Astier & Marcus Tressl - 2005 - Archive for Mathematical Logic 44 (1):77-95.

Analytics

Added to PP
2014-01-16

Downloads
28 (#883,531)

6 months
10 (#387,501)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

ℵ0-Categorical, ℵ0-stable structures.Gregory Cherlin, Leo Harrington & Alistair H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.

Add more references