Blick ins Buch

Model Theory of Algebra and Arithmetic

Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979

L. Pacholski, J Wierzejewski, A.J. Wilkie (Herausgeber)

Buch | Softcover

VIII, 412 Seiten

1980
Springer Berlin (Verlag)
978-3-540-10269-4 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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 without nilpotent elements and for semi-simple rings.- Existentially closed modules: Types and prime models.- Rings of continuous functions: Decision problems.- Weak partition relations, finite games, and independence results in Peano arithmetic.- Hensel fields in equal characteristic p>0.- On polynomials over real closed rings.- Les corps faiblement algebriquement clos non separablement clos ont la propriete d'independance.- Horn-theories of abelian groups.- Two orderings of the class of all countable models of peano arithmetic.- Ramsey quantifiers in arithmetic.- Computational complexity of decision problems in elementary number theory.- Some diophantine nullstellensätze.- A tree analysis of unprovable combinatorial statements.- A hierarchy of cuts in models of arithmetic.- Cofinal extension preserves recursive saturation.- Some model theory and number theory for models of weak systems of arithmetic.- Applications of complexity theory to ?o-definability Problems in arithmetic.- Minimally saturated models.- Totally categorical theories: Structural properties and the non-finite axiomatizability.

Erscheint lt. Verlag	1.11.1980
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	VIII, 412 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	585 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Algebra
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Algebra • arithmetic • differential equation • Minimum • Modell (Math. Logik) • model Theory
ISBN-10	3-540-10269-8 / 3540102698
ISBN-13	978-3-540-10269-4 / 9783540102694
Zustand	Neuware