Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 35
Titolo Data di pubblicazione Autore(i) File
Topological duality for diagonalizable algebras 1-gen-1988 D'Aquino, Paola; Bernardi, C.
The structure of countable recursively saturated models 1-gen-1991 D'Aquino, Paola
Local behaviour of Chebyshev theorem in models of IΔ0 1-gen-1992 D'Aquino, Paola
A sharpened version of McAloon theorem 1-gen-1993 D'Aquino, Paola
“Δ0-complexity of the relation y=Πi 1-gen-1995 D'Aquino, Paola; Berarducci, A.
Pell equations and exponentiation in fragments of arithmetic 1-gen-1996 D'Aquino, Paola
Towards the limits to the Tennenbaum phenomenon 1-gen-1997 D'Aquino, Paola
Solving Pell equations locally in models of IΔ0 1-gen-1998 D'Aquino, Paola
Non standard finite fields over IΔ0+Ω1 1-gen-2000 D'Aquino, Paola; Macintyre, A.
Quotient fields of models of IΔ0+Ω1 IDelta_0: 1-gen-2001 D'Aquino, Paola
Esami di Stato 2001 - Seconda prova scritta per il Liceo scientifico di aggiornamento 1-gen-2002 D'Aquino, Paola; Di Sorbo, D.
Model theory and applications 1-gen-2002 Bélair, L; Chatzidakis, Z; D'Aquino, Paola; Marker, D; Otero, M; Point, F. WILKIE A.
Coding in IΔ0 1-gen-2004 D'Aquino, Paola; Knight, J.
Weak Fragments of Arithmetic 1-gen-2005 D'Aquino, Paola
Strong initial segments of models of IΔ0 1-gen-2007 D'Aquino, Paola; Knight, J.
Quadratic forms over $I\Delta_0+Omega_1$,part I 1-gen-2007 D'Aquino, Paola; Macintyre, A.
A note on the decidability of exponential terms 1-gen-2007 D'Aquino, Paola; Terzo, Giuseppina
Real closed fields and models of Peano Arithmetic 1-gen-2010 D'Aquino, Paola; Knight, J.; Starchenko, S.
Schanuel Nullstellensatz for Zilber fields 1-gen-2010 D'Aquino, Paola; Macintyre, A.; Terzo, Giuseppina
Quadratic forms in models of IΔ0+Ω1, Part II: Local equivalence 1-gen-2011 D'Aquino, Paola; Macintyre, A.
Mostrati risultati da 1 a 20 di 35
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile