Isbn: 9783540102694 - model theory of algebra and arithmetic: proceedings of the conference on applications of logic to algebra and arithmetic held at karpacz,poland, ... (lecture notes in mathematics, 834, band 834) (7 Ergebnisse)

Broschiert. Zustand: Gut. 410 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 675. …

Softcover. Zustand: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01502 3540102698 Sprache: Englisch Gewicht in Gramm: 1050.

Paperback. Zustand: Good. Zustand des Schutzumschlags: No d/j as Published. Type: Book Small plain label inside cover.LACKS TITLE PAGE 1982 Edition.

Zustand: New. In English.

paperback. Zustand: Befriedigend. 420 Seiten; Artikel stammt aus Nichtraucherhaushalt! BX10709 Sprache: Englisch Gewicht in Gramm: 1.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

orig. wrappers. Zustand: Minor wear. Corner bump. VG. 24x16cm, vi,410 pp., Series: Lecture Notes in Mathematics, 834. Full title reads: "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". …