Arithmetik, Algebra (661 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.-...

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

Arakelov Geometry and Diophantine Applications

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

VIASM 2018

It was the aim of the Erlangen meeting in May 1988 to bring together number theoretists and algebraic geometers to discuss problems of common interest, such as moduli problems, complex tori, integr...

Arithmetical Rings and Endomorphisms

Dr. Yavuz Can bietet als Freiberufler mit seinem Unternehmen ExposureOne verschiedene Dienstleistungen im Bereich des Data- und Prozessmanagements an. Er lehrt zusätzlich semesterweise an unterschi...

Übersicht.- Übungsaufgaben.- Gruppe A. Vorübungen.- Gruppe B. Grundgesetze des Addierens, Multiplizierens und Potenzierens.- Gruppe C. Die drei Grundoperationen.- Gruppe D. Die drei Grundoperatione...

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