bokomslag Model Theory of Algebra and Arithmetic
Vetenskap & teknik

Model Theory of Algebra and Arithmetic

L Pacholski J Wierzejewski A J Wilkie

Pocket

679:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 412 sidor
  • 1980
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 dindependance.- 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 nullstellense.- 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.

  • Författare: L Pacholski, J Wierzejewski, A J Wilkie
  • Format: Pocket/Paperback
  • ISBN: 9783540102694
  • Språk: Engelska
  • Antal sidor: 412
  • Utgivningsdatum: 1980-11-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K