Get Free Shipping on orders over $0
Lecture Notes in Mathematics : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80 - C. Berline

Lecture Notes in Mathematics

Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80

By: C. Berline (Editor), K. McAloon (Editor), J.-P. Ressayre (Editor)

Paperback | 1 November 1981

At a Glance

Paperback


$64.99

or 4 interest-free payments of $16.25 with

 or 

Ships in 5 to 7 business days

Models of Peano Arithmetic.- Cuts in Models of Arithmetic.- Two notes on the Paris independence result.- The ordinal height of a density.- Ideaux des anneaux de Peano (d'apres Cherlin).- Theorie elementaire de la multiplication des entiers naturels.- La representation en termes de faisceaux des modeles de la theorie elementaire de la multiplication des entiers naturels.- Note on a nullstellensatz.- Anti-Basis theorems and their relation to independence results in Peano arithmetic.- A note on Decidable Model theory.- Interpretations d'Arithmetiques dans des groupes et des treillis.- Les methodes de Kieby-Paris et la theorie des ensembles.- The laws of exponentiation.- Le theoreme de MATIYASSEVITCH et resultats connexes.- Borne superieure de la complexite de la theorie de ? muni de la relation de divisibilite.- Some conservation results for fragments of arithmetic.- Partition properties and definable types in Peano Arithmetic.- De la structure additive a la saturation des modeles de Peano et a une classification des sous-langages de l'Arithmetique.- On discretely ordered rings in which every definable ideal is principal.- An observation concerning the relationship between finite and infinitary ? 1 1 .

More in Mathematical Foundation

Blueprints : How mathematics shapes creativity - Marcus Du Sautoy

RRP $24.99

$21.75

13%
OFF
Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
Sir Cumference and the Roundabout Battle : Sir Cumference - CINDY NEUSCHWANDER
The Times Codeword: Book 13 : 200 Cracking Logic Puzzles - The Times Mind Games