SNS - Piazza dei Cavalieri, 7 56126 Pisa edizioni.orders@sns.it
Edizioni della Normale
FOX v.1.4.0
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

Interpolation Theory-0
Acquista su Springer
Aggiungi alla lista dei desideri
Alessandra Lunardi

Interpolation Theory

pp. xi-191
Terza edizione

  • Contents
  • Introduction
  • Acquista su Springer
    Compara
    Aggiungi alla lista dei desideri
    Colloquium De Giorgi 2006-0
    Acquista su Springer
    Aggiungi alla lista dei desideri

    Colloquium De Giorgi 2006

    edited by Umberto Zannier

    pp. x-57

    Acquista su Springer
    Compara
    Aggiungi alla lista dei desideri
    Geometric Measure Theory and Real Analysis-0
    Acquista su Springer
    Aggiungi alla lista dei desideri

    Geometric Measure Theory and Real Analysis

    edited by Luigi Ambrosio

    pag. 230

    Acquista su Springer
    Compara
    Aggiungi alla lista dei desideri
    Rigid Germs, the Valuative Tree, and Applications to Kato Varieties-0
    Acquista su Springer
    Aggiungi alla lista dei desideri
    Matteo Ruggiero

    Rigid Germs, the Valuative Tree, and Applications to Kato Varieties

    pp. XXVI-170

    Acquista su Springer
    Compara
    Aggiungi alla lista dei desideri
    Many-body physics in condensed matter systems-0
    Acquista su Springer
    Aggiungi alla lista dei desideri
    Marco Polini and Mario Tosi

    Many-body physics in condensed matter systems

    pp. ix-320

    Acquista su Springer
    Compara
    Aggiungi alla lista dei desideri
    Andrea Bevilacqua Doubly Stochastic Models for Volcanic Hazard Assessment at Campi Flegrei Caldera-0
    Acquista su Springer
    Aggiungi alla lista dei desideri
    Andrea Bevilacqua

    Andrea Bevilacqua Doubly Stochastic Models for Volcanic Hazard Assessment at Campi Flegrei Caldera

    pp ix-224

    Acquista su Springer
    Compara
    Aggiungi alla lista dei desideri
    Symmetry Breaking in the Standard Model. A Non-Perturbative Outlook-0
    Acquista su Springer
    Aggiungi alla lista dei desideri
    Franco Strocchi

    Symmetry Breaking in the Standard Model. A Non-Perturbative Outlook

    pp. 124

    • Contents
    • Introduction (Excerpt)
    Acquista su Springer
    Compara
    Aggiungi alla lista dei desideri
    Introductory Notes on Valuation Rings and Function Fields in One Variable-0
    Acquista su Springer
    Aggiungi alla lista dei desideri
    Renata Scognamillo, Umberto Zannier

    Introductory Notes on Valuation Rings and Function Fields in One Variable

    pp. viii-119

    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-2023 - 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