Arithmetik, Algebra (584 Artikel)

Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible or...

This monograph presents both classical and recent results in the theory of nilpotent groups and provides a self-contained, comprehensive reference on the topic.  While the theorems and proofs inclu...

In spite of some recent applications of ultraproducts in algebra, they remain largely unknown to commutative algebraists, in part because they do not preserve basic properties such as Noetherianity...

Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables.- Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables.- A SAT-Based Decision Procedure ...

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly about the artifacts they deal with in their da...

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly about the artifacts they deal with in their da...

Théorie des ensembles

General considerations.- Overall rules of usage.- Data storage.- File handling.- Run-time error messages.- Miscellaneous.- Function BESSEL.- Function FACTOR.- Function INDATA.- Function LCNTIN.- Fu...

This volume is an introductory textbook to K-theory, both algebraic and topological, and to various current research topics within the field, including Kasparov's bivariant K-theory, the Baum-Conne...

Topics in Galois Fields

Topics in Global Real Analytic Geometry

During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado. These notes of the course, taken by the author, give a novel and fast exposition of four ...

I.- II / Topological spaces.

When we learn from books or daily experience, we make associations and draw inferences on the basis of information that is insufficient for under standing. One example of insufficient information m...

This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which w...