Arithmetik, Algebra (542 Artikel)

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.-...

Geometric properties and relations play central roles in the description and processing of spatial data. The properties and relations studied by mathematicians usually have precise definitions, but...

Beginning with an introduction to the writings of the most prominent Arabic logicians, the author scrutinizes these works to determine their categorical logic, as well as their modal and hypothetic...

Arithmetic Geometry can be defined as the part of Algebraic Geometry connected with the study of algebraic varieties through arbitrary rings, in particular through non-algebraically closed fields. ...

This textbook introduces exciting new developments and cutting-edge results on the theme of hyperbolicity. Written by leading experts in their respective fields, the chapters stem from mini-courses...

This volume contains articles related to the work of the Simons Collaboration "Arithmetic Geometry, Number Theory, and Computation." The papers present mathematical results and algorithms necessary...

Regulators IV, May 2016, Paris

Primarstufe und Sekundarstufe I

Classifying generalized quantifiers.- Classification over a predicate II.- Existence of endo-rigid Boolean algebras.- On the no(M) for M of singular power.- Non standard uniserial module over a uni...

Around and Beyond the Square of Opposition

This book gathers together selected contributions presented at the 3rd Moroccan Andalusian Meeting on Algebras and their Applications, held in Chefchaouen, Morocco, April 12-14, 2018, and which ref...

Erstes Kapitel. Einführende Betrachtungen über Algorithmen.- § 1. Der Begriff des Algorithmus.- § 2. Die grundlegenden Begriffe der Theorie des Konstruktiven.- § 3. Turingmaschinen als Präzisierung...

Simple EOL forms under uniform interpretation generating CF languages.- Codes : Unequal probabilities, unequal letter costs.- Sur l'inversion des morphismes d'arbres.- Grammars with dynamic control...

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...