SNS - Piazza dei Cavalieri, 7 56126 Pisa edizioni.orders@sns.it
Edizioni della Normale
WOOCS v.1.3.7.5
Cart 0
  • Main Menu
  • Main Menu

  • Main Menu

  • Home
  • Catalogo
    • Tutto il catalogo
    • Catalogo di Lettere
    • Catalogo di Scienze
    • Incipit
      • Archetipi
      • Senza titolo
    • Riviste
      • Annali di Lettere
      • Annali di Scienze
    • Testi on-line
  • Novità
  • News
  • Il mio account

Catalogo

  • Home
  • Prodotti
  • On the First-Order Theory of Real Exponentiation
On the First-Order Theory of Real Exponentiation-0
Tamara Servi

On the First-Order Theory of Real Exponentiation

pp. xii-110

Aggiungi alla lista dei desideri
Acquista su Springer
Compara
COD: 978-88-7642-325-3 Categorie: Catalogo, Scienze, Tesi - Theses Tag: Buy on Springer
  • Descrizione
  • Informazioni aggiuntive

Descrizione

The first-order theory of real exponentiation has been studied by many mathematicians in the last fifty years, in particular by model theorists, real geometers and number theorists. The aim of this work is to present the results obtained so far in this area and to improve and refine them. In the early 1990s A. Macintyre and A.J. Wilkie proved that the theory of real exponentiation is decidable, provided that Schanuel’s conjecture holds. In the proof of their result, they proposed a candidate for a complete and recursive axiomatization of the theory. While simplifying their axiomatization, the author of this book analyses (in the first three chapters) the model theory and geometry of a broad class of functions over real closed fields. Even though the methods used are elementary, the results hold in great generality. The last chapter is devoted solely to the decidability problem for the real exponential field.

Informazioni aggiuntive

Titolo

On the First-Order Theory of Real Exponentiation

Autore

Tamara Servi

ISBN

978-88-7642-325-3

Anno di pubblicazione

2008

Argomento

Matematica e storia della matematica

Buy link

http://www.springer.com/birkhauser/mathematics/scuola+normale+superiore/book/978-88-7642-325-3

Related Products

Ettore Majorana Aspects of his Scientific and Academic Activity-0
Acquista su Springer
Aggiungi alla lista dei desideri
Francesco Guerra Nadia Robotti

Ettore Majorana Aspects of his Scientific and Academic Activity

pp. xii-243

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Lectures on the ElectroWeak Interactions-0
Acquista su Springer
Aggiungi alla lista dei desideri
Riccardo Barbieri

Lectures on the ElectroWeak Interactions

pp. 81

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Variational Problems in Transport Theory with Mass Concentration-0
Acquista su Springer
Aggiungi alla lista dei desideri
Filippo Santambrogio

Variational Problems in Transport Theory with Mass Concentration

pp. vii-196

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Quantum Information and Many Body Quantum Systems-0
Acquista su Springer
Aggiungi alla lista dei desideri

Quantum Information and Many Body Quantum Systems

Proceedings edited by Marie Ericsson and Simone Montangero

pp. xiii-171

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Shadows and branched shadows of 3 and 4-manifolds-0
Acquista su Springer
Aggiungi alla lista dei desideri
Francesco Costantino

Shadows and branched shadows of 3 and 4-manifolds

pp. xx-183

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Lecture Notes on Diophantine Analysis-0
Acquista su Springer
Aggiungi alla lista dei desideri
Umberto Zannier

Lecture Notes on Diophantine Analysis

pp. xvi-233

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Maps into manifolds and currents: area and W1,2-,W1/2-, BV-energies-0
Acquista su Springer
Aggiungi alla lista dei desideri
Mariano Giaquinta Domenico Mucci

Maps into manifolds and currents: area and W1,2-,W1/2-, BV-energies

pp. xxii-391

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Quantum Gases in Quasi-One-Dimensional Arrays-0
Acquista su Springer
Aggiungi alla lista dei desideri
Mohammad Reza Bakhtiari

Quantum Gases in Quasi-One-Dimensional Arrays

pp. ix-168

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Edizioni della Normale

Scuola Normale Superiore
Piazza dei Cavalieri, 7 56126 Pisa
codice fiscale: 80005050507
Partita IVA/VAT: 00420000507
Email: edizioni.orders@sns.it

GUIDA ALL’ACQUISTO

  • Metodo di pagamento e spedizione
  • Avvertenze legali
  • Informativa sulla Privacy
  • Codice etico

INFORMAZIONI

  • Chi siamo
  • Contattaci
  • Newsletter
  • Lista dei desideri
  • Il mio account
  • Carrello
  • Avviso per gli autori della BTCGI

SOCIAL

Copyright © 2020 - Edizioni della Scuola Normale
Utilizziamo i cookie sul nostro sito Web per offrirti una migliore navigazione. Cliccando su "Accetta tutto", acconsenti all'uso di TUTTI i cookie.
Impostazione CookieRifiutoAccetta tutto
Impostazione cookie

Panoramica sulla Privacy

Questo sito Web utilizza i cookie per migliorare la tua esperienza durante la navigazione nel sito Web. Di questi, i cookie classificati come necessari vengono memorizzati nel browser in quanto sono essenziali per il funzionamento del sito web. Utilizziamo anche cookie di terze parti che ci aiutano ad analizzare e capire come utilizzi questo sito web. Questi cookie verranno memorizzati nel tuo browser solo con il tuo consenso. Hai anche la possibilità di disattivare questi cookie. Tuttavia, la disattivazione di alcuni di questi cookie potrebbe influire sulla tua esperienza di navigazione.
Necessari
Sempre abilitato
I cookie necessari sono assolutamente essenziali per il corretto funzionamento del sito web. Questa categoria include solo i cookie che garantiscono le funzionalità di base e le caratteristiche di sicurezza del sito web. Questi cookie non memorizzano alcuna informazione personale.
Funzionali
I cookie funzionali aiutano a svolgere determinate funzionalità come la condivisione del contenuto del sito Web su piattaforme di social media, la raccolta di feedback e altre funzionalità di terze parti.
Prestazioni
I cookie per le prestazioni vengono utilizzati per comprendere e analizzare le prestazioni del sito Web e aiutano a fornire una migliore esperienza utente per i visitatori.
Cookie analitici
I cookie analitici vengono utilizzati per capire come i visitatori interagiscono con il sito web. Questi cookie aiutano a fornire informazioni sulle metriche del numero di visitatori, frequenza di rimbalzo, fonte di traffico, ecc.
Cookie pubblicitari
I cookie pubblicitari vengono utilizzati per fornire ai visitatori annunci e campagne di marketing pertinenti. Questi cookie tracciano i visitatori attraverso i siti Web e raccolgono informazioni per fornire annunci personalizzati.
Altro
Altri cookie non classificati sono quelli che vengono analizzati e non sono ancora stati classificati in una categoria.
CookieDurataDescrizione
_pk_id.WR9px2B0Xm.658f1 year 27 daysNo description
_pk_ses.WR9px2B0Xm.658f30 minutesNo description
ACCETTA E SALVA
Powered by CookieYes Logo
X