This volume contains 16 carefully refereed articles by participants in the Special Semester and the AMS Special Session on Real Algebraic Geometry and Ordered Structures held at Louisiana State University and Southern University (Baton Rouge). The 23 contributors to this volume were among the 75 mathematicians from 15 countries who participated in the special semester. Topics include the topology of real algebraic curves (Hilbert's 16th problem), moduli of real algebraic curves, effective sums of squares of real forms (Hilbert's 17th problem), efficient real quantifier elimination, subanalytic sets and stratifications, semialgebraic singularity theory, radial vector fields, exponential functions and valuations on nonarchimedean ordered fields, valued field extensions, partially ordered and lattice-ordered rings, rings of continuous functions, spectra of rings, and abstract spaces of (higher-level) orderings and real places. This volume provides a good overview of the state of the art in this area in the 1990s. It includes both expository and original research papers by top workers in this thriving field. The authors and editors strived to make the volume useful to a wide audience (including students and researchers) interested in real algebraic geometry and ordered structures-two subjects that are obviously related, but seldom brought together.

Ten years after the first Rennes international meeting on real algebraic geometry, the second one looked at the developments in the subject during the intervening decade - see the 6 survey papers listed below. Further contributions from the participants on recent research covered real algebra and geometry, topology of real algebraic varieties and 16thHilbert problem, classical algebraic geometry, techniques in real algebraic geometry, algorithms in real algebraic geometry, semialgebraic geometry, real analytic geometry. CONTENTS: Survey papers: M. Knebusch: Semialgebraic topology in the last ten years.- R. Parimala: Algebraic and topological invariants of real algebraic varieties.- Polotovskii, G.M.: On the classification of decomposing plane algebraic curves.- Scheiderer, C.: Real algebra and its applications to geometry in the last ten years: some major developments and results.- Shustin, E.L.: Topology of real plane algebraic curves.- Silhol, R.: Moduli problems in real algebraic geometry. Further contributions by: S. Akbulut and H. King; C. Andradas and J. Ruiz; A. Borobia; L. Br|cker; G.W. Brumfield; A. Castilla; Z. Charzynski and P. Skibinski; M. Coste and M. Reguiat; A. Degtyarev; Z. Denkowska; J.-P. Francoise and F. Ronga; J.M. Gamboa and C. Ueno; D. Gondard- Cozette; I.V. Itenberg; P. Jaworski; A. Korchagin; T. Krasinksi and S. Spodzieja; K. Kurdyka; H. Lombardi; M. Marshall and L. Walter; V.F. Mazurovskii; G. Mikhalkin; T. Mostowski and E. Rannou; E.I. Shustin; N. Vorobjov.

This book contains the proceedings of the Real Algebraic Geometry-Topology Conference, held at Michigan State University in December 1993. Presented here are recent results and discussions of new ideas pertaining to such topics as resolution theorems, algebraic structures, topology of nonsingular real algebraic sets, and the distribution of real algebraic sets in projective space.

In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing. Mathematicians already aware of real algebraic geometry will find relevant information about the algorithmic aspects. Researchers in computer science and engineering will find the required mathematical background. This self-contained book is accessible to graduate and undergraduate students.

Contains the proceedings of the international conference "Ordered Algebraic Structures and Related Topics", held in October 2015, at CIRM, Luminy, Marseilles. Papers cover topics in real analytic geometry, real algebra, and real algebraic geometry including complexity issues, model theory of various algebraic and differential structures, Witt equivalence of fields, and the moment problem.

The purpose of this unique book is to establish purely algebraic foundations for the development of certain parts of topology. Some topologists seek to understand geometric properties of solutions to finite systems of equations or inequalities and configurations which in some sense actually occur in the real world. Others study spaces constructed more abstractly using infinite limit processes. Their goal is to determine just how similar or different these abstract spaces are from those which are finitely described. However, as topology is usually taught, even the first, more concrete type of problem is approached using the language and methods of the second type. Professor Brumfiel's thesis is that this is unnecessary and, in fact, misleading philosophically. He develops a type of algebra, partially ordered rings, in which it makes sense to talk about solutions of equations and inequalities and to compare geometrically the resulting spaces. The importance of this approach is primarily that it clarifies the sort of geometrical questions one wants to ask and answer about those spaces which might have physical significance.

The present volume is a translation, revision and updating of our book (pub lished in French) with the title "Geometrie Algebrique Reelle". Since its pub lication in 1987 the theory has made advances in several directions. There have also been new insights into material already in the French edition. Many of these advances and insights have been incorporated in this English version of the book, so that it may be viewed as being substantially different from the original. We wish to thank Michael Buchner for his careful reading of the text and for his linguistic corrections and stylistic improvements. The initial Jb. TEiX file was prepared by Thierry van Effelterre. The three authors participate in the European research network "Real Algebraic and Analytic Geometry". The first author was partially supported by NATO Collaborative Research Grant 960011. Jacek Bochnak April 1998 Michel Coste Marie-Pranroise Roy Table of Contents Preface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . V Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Ordered Fields, Real Closed Fields . . . . . . . . . . . . . . . . . . . . . . . 7 1. 1 Ordered Fields, Real Fields . . . . . " . . . . . . . . . . . . . . . . . . . . . . . 7 1. 2 Real Closed Fields. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1. 3 Real Closure of an Ordered Field. . . . . . . . . . . . . . . . . . . . . . . . . 14 1. 4 The Tarski-Seidenberg Principle. . . . . . . . . . . . . . . . . . . . . . . . . . 17 2. Semi-algebraic Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2. 1 Algebraic and Semi-algebraic Sets. . . . . . . . . . . . . . . . . . . . . . . . 23 2. 2 Projection of Semi-algebraic Sets. Semi-algebraic Mappings. . 26 2. 3 Decomposition of Semi-algebraic Sets. . . . . . . . . . . . . . . . . . . . . 30 2. 4 Connectedness. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2. 5 Closed and Bounded Semi-algebraic Sets. Curve-selection Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2. 6 Continuous Semi-algebraic Functions. Lojasiewicz's Inequality 42 2. 7 Separation of Closed Semi-algebraic Sets. . . . . . . . . . . . . . . . . .

This book is of interest to students as well as experts in the area of real algebraic geometry, quadratic forms, orderings, valuations, lattice ordered groups and rings, and in model theory. The original motivation comes from orderings on fields and commutative rings. This is explained as is the important application to minimal generation of semi-algebraic sets. Many results in the new theory of abstract real spectra (also called spaces of signs) appear here for the first time. The reader needs elementary knowledge of commutative rings, ordered fields and real closed fields and valuations.

This two-volume collection contains Paulo Ribenboim’s work on ordered structures and mathematical logic. Two long unpublished papers and a reproduction of his first book on abelian groups are also featured in these volumes. With over 240 publications, including 13 books, Ribenboim is responsible for some of the most influential research in number theory, mathematical logic, and algebraic structures. Together, these volumes include papers on algebraic structures on directed graphs, real algebraic geometry, applications of model theory in collaboration with Lou van den Dries, and more recent papers with Sibylla Priess-Crampe on mathematical logic programming and Ultrametric spaces. The Ribenboim Prize of the Canadian Number Theory Association is named after him. Paulo Ribenboim is currently professor emeritus at Queen’s University in Kingston, Ontario.

This two-volume collection contains Paulo Ribenboim’s work on ordered structures and mathematical logic. Two long unpublished papers and a reproduction of his first book on abelian groups are also featured in these volumes. With over 240 publications, including 13 books, Ribenboim is responsible for some of the most influential research in number theory, mathematical logic, and algebraic structures. Together, these volumes include papers on algebraic structures on directed graphs, real algebraic geometry, applications of model theory in collaboration with Lou van dem Dries, and more recent papers with Sibylla Priess-Crampe on mathematical logic programming and Ultrametric spaces. Originally from Brazil, Ribenboim is currently professor emeritus at Queen’s University in Kingston, Ontario. The Ribenboim Prize of the Canadian Number Theory Association is named after him.