Arithmetik, Algebra (542 Artikel)

DE

Failure of interpolation for quantifiers of monadic type.- Approximation to truth and theory of errors.- Partition relations in arithmetic.- On the axiomatizability of sets in a class theory.- Appl...

Metric Algebraic Geometry

Lectures: G.E. Sacks: Model theory and applications.- H.J. Keisler: Constructions in model theory.- Seminars: M. Servi: SH formulas and generalized exponential.- J.A. Makowski: Topological model th...

Models of Peano Arithmetic.- Cuts in Models of Arithmetic.- Two notes on the Paris independence result.- The ordinal height of a density.- Ideaux des anneaux de Peano (d'apres Cherlin).- Theorie el...

Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori

Further remarks on the elementary theory of formal power series rings.- Elimination of quantifiers for non semi-simple rings of characteristic p.- The quantifier elimination problem for rings witho...

The contributions in this volume cover a broad range of topics including maximum cliques, graph coloring, data mining, brain networks, Steiner forest, logistic and supply chain networks. Network al...

NET 2016, Nizhny Novgorod, Russia, May 2016

Modern Logic 1850-1950, East and West

Stable reduction of modular curves.- On p-adic families of automorphic forms.- ?-curves and abelian varieties of GL2-type from dihedral genus 2 curves.- The old subvariety of J0(NM).- Irreducibilit...

1 Einleitung.- 2 Das semidefinite System.- 2.1 Zerlegung des Approximationsraumes.- 2.2 Das Erzeugendensystem.- 2.3 Die Ritz-Galerkin-Diskretisierung und das semidefinite System.- 3 Iterative Metho...

Die natürlichen Mengen basieren auf insgesamt sieben Axiomen. Eines dieser Axiome ordnet jedem Ding eine sogenannte objektspezifische Eigenschaft zu. Diese Eigenschaft macht jedes Ding zu einem Uni...

Prof. Dr. Walter Alt, Friedrich-Schiller-Universität Jena, Institut für für Angewandte Mathematik, Fachgebiet nichtlineare Optimierung/optimale Steuerung

Das Buch behandelt ausgewählte Themen aus der Schulmathematik. Es ist nicht gedacht als letzte Rettung vor der drohenden fünf in der nächsten Klassenarbeit. Es soll und kann auch nicht mit den unzä...