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

Submanifolds in Carnot Groups-0
Acquista su Springer
Aggiungi alla lista dei desideri
Davide Vittone

Submanifolds in Carnot Groups

pp. xx-178

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Extension Problems in Complex and CR-geometry-0
Acquista su Springer
Aggiungi alla lista dei desideri
Alberto Saracco

Extension Problems in Complex and CR-geometry

pp. xiv-153

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Acquista su Springer
Aggiungi alla lista dei desideri
Maria Colombo

Flows of Non-smooth Vector Fields and Degenerate Elliptic Equations

pp. 272

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
Resurgence, Physics and Numbers-0
Acquista su Springer
Aggiungi alla lista dei desideri

Resurgence, Physics and Numbers

edited by Frédéric Fauvet, Dominique Manchon, Stefano Marmi and David Sauzin

pp. xi-381

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
Implicit preconditioned numerical schemes for the simulation of three-dimensional barotropic flows-0
Acquista su Springer
Aggiungi alla lista dei desideri
Edoardo Sinibaldi

Implicit preconditioned numerical schemes for the simulation of three-dimensional barotropic flows

pp. ix-206

Acquista su Springer
Compara
Aggiungi alla lista dei desideri
The Flow Associated to Weakly Differentiable Vector Fields-0
Acquista su Springer
Aggiungi alla lista dei desideri
Gianluca Crippa

The Flow Associated to Weakly Differentiable Vector Fields

pp. xv-163

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