Fr. 55.90

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

Inglese, Francese · Tascabile

Spedizione di solito entro 1 a 2 settimane (il titolo viene stampato sull'ordine)

Descrizione

Ulteriori informazioni










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.- Interpr¿tions d'Arithm¿ques dans des groupes et des treillis.- Les methodes de Kieby-Paris et la th¿ie des ensembles.- The laws of exponentiation.- Le th¿¿ de MATIYASS¿ITCH et r¿ltats 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 .

Sommario

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.- Interprétations d'Arithmétiques dans des groupes et des treillis.- Les methodes de Kieby-Paris et la théorie des ensembles.- The laws of exponentiation.- Le théorème de MATIYASSÉVITCH et résultats 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 .

Dettagli sul prodotto

Con la collaborazione di C. Berline (Editore), K. McAloon (Editore), J. -P. Ressayre (Editore), J.-P. Ressayre (Editore)
Editore Springer, Berlin
 
Lingue Inglese, Francese
Formato Tascabile
Pubblicazione 29.06.2009
 
EAN 9783540111597
ISBN 978-3-540-11159-7
Pagine 306
Dimensioni 155 mm x 235 mm x 19 mm
Peso 512 g
Illustrazioni VI, 306 p.
Serie Lecture Notes in Mathematics
Lecture Notes in Mathematics
Categoria Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.