Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Model theory and algebra : a memorial tribute to Abraham Robinson / / edited by D. H. Saracino and V. B. Weispfennig
| Model theory and algebra : a memorial tribute to Abraham Robinson / / edited by D. H. Saracino and V. B. Weispfennig |
| Edizione | [1st ed. 1975.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1975] |
| Descrizione fisica | 1 online resource (X, 466 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Model theory
Algebra |
| ISBN | 3-540-38057-4 |
| Classificazione | 03Cxx |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On recursively saturated models of arithmetic -- A note on existentially complete division rings -- Ideals of integers in nonstandard number fields -- Categories of local functors -- Impredicativity of the existence of the largest divisible subgroup of an Abelian p-group -- Elementary equivalence classes of generic structures and existentially complete structures -- The number of equivalence classes of existentially complete structures -- Finite forcing and generic filters in arithmetic -- Dense embeddings I: A theorem of Robinson in a general setting -- New facts about Hilbert's seventeenth problem -- Nonstandard aspects of Hilbert's irreducibility theorem -- Projective model theory and coforcing -- On algebraic curves over commutative regular rings -- Existence of rigid-like families of Abelian p-groups -- The complexity of Tf and omitting types in FT -- Model-completeness and skolem expansions. |
| Record Nr. | UNISA-996466872503316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / / Elisabeth Bouscaren, editor
| Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / / Elisabeth Bouscaren, editor |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1998] |
| Descrizione fisica | 1 online resource (XVI, 216 p.) |
| Disciplina | 516.35 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Arithmetical algebraic geometry
Model theory |
| ISBN | 3-540-68521-9 |
| Classificazione | 03C60 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to model theory -- to stability theory and Morley rank -- Omega-stable groups -- Model theory of algebraically closed fields -- to abelian varieties and the Mordell-Lang conjecture -- The model-theoretic content of Lang’s conjecture -- Zariski geometries -- Differentially closed fields -- Separably closed fields -- Proof of the Mordell-Lang conjecture for function fields -- Proof of Manin’s theorem by reduction to positive characteristic. |
| Record Nr. | UNISA-996466857703316 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / / Elisabeth Bouscaren, editor
| Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / / Elisabeth Bouscaren, editor |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1998] |
| Descrizione fisica | 1 online resource (XVI, 216 p.) |
| Disciplina | 516.35 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Arithmetical algebraic geometry
Model theory |
| ISBN | 3-540-68521-9 |
| Classificazione | 03C60 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to model theory -- to stability theory and Morley rank -- Omega-stable groups -- Model theory of algebraically closed fields -- to abelian varieties and the Mordell-Lang conjecture -- The model-theoretic content of Lang’s conjecture -- Zariski geometries -- Differentially closed fields -- Separably closed fields -- Proof of the Mordell-Lang conjecture for function fields -- Proof of Manin’s theorem by reduction to positive characteristic. |
| Record Nr. | UNINA-9910146306203321 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre
| Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre |
| Autore | Berline, Chantal |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | vi, 306 p. ; 25 cm. |
| Disciplina | 511.8 |
| Altri autori (Persone) |
McAloon, Kenneth
Ressayre, Jean-Pierre |
| Collana | Lecture notes in mathematics, 0075-8434 ; 890 |
| Soggetto topico |
Mathematical logic and foundations - Congresses
Model theory |
| ISBN | 354011159X |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149179707536 |
Berline, Chantal
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / / edited by C. Berline, K. McAloon and J.-P. Ressayre
| Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / / edited by C. Berline, K. McAloon and J.-P. Ressayre |
| Edizione | [1st ed. 1981.] |
| Pubbl/distr/stampa | Berlin : , : Springer-Verlag, , [1981] |
| Descrizione fisica | 1 online resource (VI, 306 p.) |
| Disciplina | 511.34 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Model theory |
| ISBN | 3-540-38629-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 . |
| Record Nr. | UNISA-996466496903316 |
| Berlin : , : Springer-Verlag, , [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theory and linear extreme points in the numerical radius unit ball / / Michael A. Dritschel, Hugo J. Woerdeman
| Model theory and linear extreme points in the numerical radius unit ball / / Michael A. Dritschel, Hugo J. Woerdeman |
| Autore | Dritschel Michael A. <1956-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (77 p.) |
| Disciplina |
510 s
515/.7246 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Operator theory
Decomposition method Model theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0200-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910480295403321 |
|
Dritschel Michael A. <1956->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model theory and linear extreme points in the numerical radius unit ball / / Michael A. Dritschel, Hugo J. Woerdeman
| Model theory and linear extreme points in the numerical radius unit ball / / Michael A. Dritschel, Hugo J. Woerdeman |
| Autore | Dritschel Michael A. <1956-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (77 p.) |
| Disciplina |
510 s
515/.7246 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Operator theory
Decomposition method Model theory |
| ISBN | 1-4704-0200-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910788732803321 |
|
Dritschel Michael A. <1956->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model theory and linear extreme points in the numerical radius unit ball / / Michael A. Dritschel, Hugo J. Woerdeman
| Model theory and linear extreme points in the numerical radius unit ball / / Michael A. Dritschel, Hugo J. Woerdeman |
| Autore | Dritschel Michael A. <1956-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1997] |
| Descrizione fisica | 1 online resource (77 p.) |
| Disciplina |
510 s
515/.7246 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Operator theory
Decomposition method Model theory |
| ISBN | 1-4704-0200-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910811889103321 |
|
Dritschel Michael A. <1956->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1997] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model theory and modules / Mike Prest
| Model theory and modules / Mike Prest |
| Autore | Prest, Mike |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1988 |
| Descrizione fisica | xviii, 380 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 130 |
| Soggetto topico |
Model theory
Modules (Algebra) |
| ISBN | 0521348331 |
| Classificazione |
AMS 03C60
QA9.7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149259707536 |
|
Prest, Mike
|
||
| Cambridge ; New York : Cambridge University Press, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory and topoi / / edited by F. W. Lawvere, C. Maurer, G. C. Wraith
| Model theory and topoi / / edited by F. W. Lawvere, C. Maurer, G. C. Wraith |
| Edizione | [1st ed. 1975.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [1975] |
| Descrizione fisica | 1 online resource (VI, 358 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Model theory |
| ISBN | 3-540-37495-7 |
| Classificazione | 18-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi. |
| Record Nr. | UNISA-996466862703316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Model theory
(147)
- Set theory (14)
- Logic, Symbolic and mathematical (13)
- Toposes (7)
- Trees (Graph theory) (7)