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 / / edited by L. Pacholski, J. Wierzejewski, A. J. Wilkie
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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 / / edited by L. Pacholski, J. Wierzejewski, A. J. Wilkie
|
| Pubblicazione: | Berlin, Germany : , : Springer, , [1980] |
| ©1980 | |
| Edizione: | 1st ed. 1980. |
| Descrizione fisica: | 1 online resource (VIII, 412 p.) |
| Disciplina: | 511.34 |
| Soggetto topico: | Model theory |
| Persona (resp. second.): | WierzejewskiJ (Jędrzej) |
| PacholskiLeszek | |
| WilkieA. J (Alec J.) | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Model theory of algebra and arithmetic |
| ISBN: | 3-540-38393-X |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466643003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, . 0075-8434 ; ; 834