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.
Stability in model theory / Daniel Lascar ; transl. J. E. Wallington
| Stability in model theory / Daniel Lascar ; transl. J. E. Wallington |
| Autore | Lascar, Daniel |
| Pubbl/distr/stampa | Harlow : Longman, 1987 |
| Descrizione fisica | 193 p. ; 24 cm. |
| Disciplina | 511.8 |
| Altri autori (Persone) | Wallington, J. E. |
| Collana | Pitman monographs and surveys in pure and applied mathematics, ISSN 02693666 ; 36 |
| Soggetto topico |
Model theory
Stability |
| ISBN | 0582994632 |
| Classificazione |
AMS 03C
AMS 03C05 QA9.7.L3713 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001369179707536 |
Lascar, Daniel
|
||
| Harlow : Longman, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Stable groups / Frank O. Wagner
| Stable groups / Frank O. Wagner |
| Autore | Wagner, Frank O. |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1997 |
| Descrizione fisica | ix, 309 p. : ill. ; 23 cm |
| Disciplina | 512.2 |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 240 |
| Soggetto topico |
Algebraic geometry
Group theory Model theory |
| ISBN | 0521598397 |
| Classificazione |
AMS 03C45
AMS 03C60 AMS 20A15 QA174.2.W34 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001370679707536 |
|
Wagner, Frank O.
|
||
| Cambridge ; New York : Cambridge University Press, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Studies in model theory / [by] Jon Barwise... [et al.] ; M. D. Morley, editor
| Studies in model theory / [by] Jon Barwise... [et al.] ; M. D. Morley, editor |
| Autore | Barwise, Jon |
| Pubbl/distr/stampa | [Buffalo] : MAA (Mathematical Association of America), [c1973] |
| Descrizione fisica | vii, 197 p. ; 21 cm. |
| Disciplina | 511.8 |
| Altri autori (Persone) | Morley, Michael Darwin |
| Collana | MAA Studies in mathematics ; 8 |
| Soggetto topico | Model theory |
| ISBN | 0883851083 |
| Classificazione |
AMS 03C
QA9.7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001389719707536 |
|
Barwise, Jon
|
||
| [Buffalo] : MAA (Mathematical Association of America), [c1973] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Sull'esistenza di modelli per teorie del primo ordine. Tesi di laurea / laureanda F. De Carlo ; relat. D. Lenzi
| Sull'esistenza di modelli per teorie del primo ordine. Tesi di laurea / laureanda F. De Carlo ; relat. D. Lenzi |
| Autore | De Carlo, Francesca |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1984-85 |
| Altri autori (Persone) | Lenzi, Domenico |
| Soggetto topico |
Classical first-order logic
General logic Model theory |
| Classificazione |
AMS 03B
AMS 03B10 AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001397679707536 |
|
De Carlo, Francesca
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1984-85 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Tame flows / / Liviu I. Nicolaescu
| Tame flows / / Liviu I. Nicolaescu |
| Autore | Nicolaescu Liviu I. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2010 |
| Descrizione fisica | 1 online resource (130 p.) |
| Disciplina | 514.74 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Model theory
Ordered sets Global analysis (Mathematics) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0594-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction""; ""Chapter 1. Tame spaces""; ""Chapter 2. Basic properties and examples of tame flows""; ""Chapter 3. Some global properties of tame flows""; ""Chapter 4. Tame Morse flows""; ""Chapter 5. Tame Morse-Smale flows""; ""Chapter 6. The gap between two vector subspaces""; ""Chapter 7. The Whitney and Verdier regularity conditions""; ""Chapter 8. Smale transversality and Whitney regularity""; ""Chapter 9. The Conley index""; ""Chapter 10. Flips/flops and gradient like tame flows""; ""Chapter 11. Simplicial flows and combinatorial Morse theory""
""Chapter 12. Tame currents""""Appendix A. An ``elementary'' proof of the generalized Stokes formula""; ""Appendix B. On the topology of tame sets""; ""Bibliography""; ""Index"" |
| Record Nr. | UNINA-9910480637403321 |
|
Nicolaescu Liviu I.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tame flows / / Liviu I. Nicolaescu
| Tame flows / / Liviu I. Nicolaescu |
| Autore | Nicolaescu Liviu I. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2010 |
| Descrizione fisica | 1 online resource (130 p.) |
| Disciplina | 514.74 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Model theory
Ordered sets Global analysis (Mathematics) |
| ISBN | 1-4704-0594-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction""; ""Chapter 1. Tame spaces""; ""Chapter 2. Basic properties and examples of tame flows""; ""Chapter 3. Some global properties of tame flows""; ""Chapter 4. Tame Morse flows""; ""Chapter 5. Tame Morse-Smale flows""; ""Chapter 6. The gap between two vector subspaces""; ""Chapter 7. The Whitney and Verdier regularity conditions""; ""Chapter 8. Smale transversality and Whitney regularity""; ""Chapter 9. The Conley index""; ""Chapter 10. Flips/flops and gradient like tame flows""; ""Chapter 11. Simplicial flows and combinatorial Morse theory""
""Chapter 12. Tame currents""""Appendix A. An ``elementary'' proof of the generalized Stokes formula""; ""Appendix B. On the topology of tame sets""; ""Bibliography""; ""Index"" |
| Record Nr. | UNINA-9910788859903321 |
|
Nicolaescu Liviu I.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tame flows / / Liviu I. Nicolaescu
| Tame flows / / Liviu I. Nicolaescu |
| Autore | Nicolaescu Liviu I. |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2010 |
| Descrizione fisica | 1 online resource (130 p.) |
| Disciplina | 514.74 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Model theory
Ordered sets Global analysis (Mathematics) |
| ISBN | 1-4704-0594-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction""; ""Chapter 1. Tame spaces""; ""Chapter 2. Basic properties and examples of tame flows""; ""Chapter 3. Some global properties of tame flows""; ""Chapter 4. Tame Morse flows""; ""Chapter 5. Tame Morse-Smale flows""; ""Chapter 6. The gap between two vector subspaces""; ""Chapter 7. The Whitney and Verdier regularity conditions""; ""Chapter 8. Smale transversality and Whitney regularity""; ""Chapter 9. The Conley index""; ""Chapter 10. Flips/flops and gradient like tame flows""; ""Chapter 11. Simplicial flows and combinatorial Morse theory""
""Chapter 12. Tame currents""""Appendix A. An ``elementary'' proof of the generalized Stokes formula""; ""Appendix B. On the topology of tame sets""; ""Bibliography""; ""Index"" |
| Record Nr. | UNINA-9910811630103321 |
|
Nicolaescu Liviu I.
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Taxinomie et Réalité : vers une métaclassification / / Daniel Parrochia, Pierre Neuville
| Taxinomie et Réalité : vers une métaclassification / / Daniel Parrochia, Pierre Neuville |
| Autore | Parrochia Daniel <1951-> |
| Pubbl/distr/stampa | London : , : ISTE Editions Ltd., , 2014 |
| Descrizione fisica | 1 online resource (313 pages) |
| Disciplina | 025.42 |
| Collana | Collection science cognitive et management des connaissances |
| Soggetto topico |
Classification - Mathematics
Model theory |
| ISBN | 1-78406-035-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto | Intro -- Table des matières -- Introduction -- PREMIÈRE PARTIE. Classifications phénoménales et classifications nouménales -- 1. Le problème classificatoire -- 2. Les classifications « phénoménales » -- 3. Vers des classifications nouménales ? -- DEUXIÈME PARTIE. Des ensembles aux modèles et à la classification theory -- 4. Les classificationsen mathématiques pures -- 5. Ensembles, hiérarchies, automates -- 6. Des modèles à la classification theory -- TROISIÈME PARTIE. Vers des structurations objectives -- 7. Des modèles aux structures -- 8. Des structures au concret -- 9. Relativisme logique et métaclassification -- Conclusion -- Bibliographie -- Index. |
| Record Nr. | UNINA-9910792393103321 |
|
Parrochia Daniel <1951->
|
||
| London : , : ISTE Editions Ltd., , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Taxinomie et Réalité : vers une métaclassification / / Daniel Parrochia, Pierre Neuville
| Taxinomie et Réalité : vers une métaclassification / / Daniel Parrochia, Pierre Neuville |
| Autore | Parrochia Daniel <1951-> |
| Pubbl/distr/stampa | London : , : ISTE Editions Ltd., , 2014 |
| Descrizione fisica | 1 online resource (313 pages) |
| Disciplina | 025.42 |
| Collana | Collection science cognitive et management des connaissances |
| Soggetto topico |
Classification - Mathematics
Model theory |
| ISBN | 1-78406-035-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Nota di contenuto | Intro -- Table des matières -- Introduction -- PREMIÈRE PARTIE. Classifications phénoménales et classifications nouménales -- 1. Le problème classificatoire -- 2. Les classifications « phénoménales » -- 3. Vers des classifications nouménales ? -- DEUXIÈME PARTIE. Des ensembles aux modèles et à la classification theory -- 4. Les classificationsen mathématiques pures -- 5. Ensembles, hiérarchies, automates -- 6. Des modèles à la classification theory -- TROISIÈME PARTIE. Vers des structurations objectives -- 7. Des modèles aux structures -- 8. Des structures au concret -- 9. Relativisme logique et métaclassification -- Conclusion -- Bibliographie -- Index. |
| Record Nr. | UNINA-9910815603403321 |
|
Parrochia Daniel <1951->
|
||
| London : , : ISTE Editions Ltd., , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teoria dei modelli / Chen Chung Chang, H. Jerome Keisler ; trad. di Maurizio Negri
| Teoria dei modelli / Chen Chung Chang, H. Jerome Keisler ; trad. di Maurizio Negri |
| Autore | Chang, Cheng Chung |
| Pubbl/distr/stampa | Torino : Boringhieri, c1980 |
| Descrizione fisica | 538 p. ; 24 cm |
| Disciplina | 510 |
| Altri autori (Persone) |
Keisler, H. Jeromeauthor
Negri, Maurizio |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica ; 3 |
| Soggetto topico | Model theory |
| Classificazione | AMS 03C |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001419119707536 |
|
Chang, Cheng Chung
|
||
| Torino : Boringhieri, c1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Soggetto topico
-
Model theory
(147)
- Set theory (14)
- Logic, Symbolic and mathematical (13)
- Toposes (7)
- Trees (Graph theory) (7)