fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Pacholski / Wilkie / Wierzejewski

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

Medium: Buch
ISBN: 978-3-540-10269-4
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 01.11.1980
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

Springer Book Archives

Produkteigenschaften

  • Artikelnummer: 9783540102694
  • Medium: Buch
  • ISBN: 978-3-540-10269-4
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 01.11.1980
  • Sprache(n): Englisch,Französisch
  • Auflage: 1980
  • Serie: Lecture Notes in Mathematics
  • Produktform: Kartoniert
  • Gewicht: 1290 g
  • Seiten: 412
  • Format (B x H x T): 155 x 235 x 23 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

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.