Arithmetik, Algebra (584 Artikel)

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Automatic sequences are sequences which are produced by a finite automaton. Although they are not random they may look as being random. They are complicated, in the sense of not being not ultimatel...

Unwinding proofs ('Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.-...

Unwinding proofs ('Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.-...

Birational Geometry and Moduli Spaces

Birational Geometry and Moduli Spaces

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions with philosophy and computer science. Na...

In 20 years, tremendous progress has been made in Lattice Theory. Nevertheless, the change is in the superstructure not in the foundation. Accordingly, I decided to leave the book unchanged and add...

People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion of what these numbers are. In the late 19th century mathematicians, such...

Philosophy of Mathematics in Antiquity and in Modern Times

Philosophy of Mathematics in Antiquity and in Modern Times

Profinite Graphs and Groups

Simple Relation Algebras

Simple Relation Algebras

A Century of Developments