𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On theK-theory of algebraically closed fields

✍ Scribed by A. Suslin

Publisher
Springer-Verlag
Year
1983
Tongue
English
Weight
238 KB
Volume
73
Category
Article
ISSN
0020-9910

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Limits of theory sequences over algebrai
Limits of theory sequences over algebraically closed fields and applications
✍ Wei Li; Shilong Ma πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 306 KB

A computation model involving the computation of the limits of theory sequences is formally deΓΏned. It is called procedure scheme. It provides an approach to build a new theory by the limit of some sequence of formal theories and also has potential applications to scientiΓΏc and engineering problems.

On theK-Theory of GraphC*-Algebras
On theK-Theory of GraphC*-Algebras
✍ Gunther Cornelissen; Oliver Lorscheid; Matilde Marcolli πŸ“‚ Article πŸ“… 2008 πŸ› Springer Netherlands 🌐 English βš– 412 KB
Model-complete theories of pseudo-algebr
Model-complete theories of pseudo-algebraically closed fields
✍ William H. Wheeler πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science βš– 893 KB

The model-complete, complete theories of pseudo-algebraically closed field:; arc characterized in tilis paper, For example, the theory of algebraically closca lields of a specified characteristic is a model-complete, complete theory of pseudo-algebraically closed fields. The characterization is base

Quantifier elimination for the theory of
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
✍ YalΔ±n F. Γ‡elikler πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 177 KB

## Abstract The theory of algebraically closed non‐Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this pape