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.
Sciences des données : de la logique du premier ordre à la Toile / Serge Abiteboul
| Sciences des données : de la logique du premier ordre à la Toile / Serge Abiteboul |
| Autore | Abiteboul Serge |
| Pubbl/distr/stampa | Collège de France, 2012 |
| Disciplina | 005.7 |
| Collana | Leðcons inaugurales du Colláege de France Sciences des donnâees |
| Soggetto topico |
Database management
Relational databases First-order logic World Wide Web Computer Science |
| Soggetto non controllato |
connaissance
gestion de bases de données sciences numériques informatique |
| ISBN |
2-8218-1486-0
2-7226-0171-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910137460503321 |
Abiteboul Serge
|
||
| Collège de France, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semigroups underlying first-order logic / / William Craig
| Semigroups underlying first-order logic / / William Craig |
| Autore | Craig William <1918-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (298 p.) |
| Disciplina | 511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebraic logic
First-order logic Semigroups |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0470-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Abstract""; ""Acknowledgements""; ""Overview""; ""Chapter I. Boolean, Relation-Induced, and Other Operations for Dealing with First-Order Definability""; ""Chapter II. Uniform Relations Between Sequences""; ""Chapter III. Diagonal Relations""; ""Chapter IV. Uniform Diagonal Relations and Some Kinds of Bisections or Bisectable Relations""; ""Chapter V. Presentation of S[sub(g)], S[sub(p)], and Related Structures""; ""Chapter VI. Presentation of S[sub(pq)], S[sub(pe)] and Related Structures""; ""Chapter VII. Presentation of S[sub(pqe)] and Related Structures""
""Appendix. Presentation of Î?S[sub(q)] and Related Structures""""Bibliography""; ""Index of Symbols""; ""Index of Phrases and Subjects""; ""List of Relations Involved in Presentations""; ""Synopsis of Presentations"" |
| Record Nr. | UNINA-9910479856603321 |
|
Craig William <1918->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semigroups underlying first-order logic / / William Craig
| Semigroups underlying first-order logic / / William Craig |
| Autore | Craig William <1918-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (298 p.) |
| Disciplina | 511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebraic logic
First-order logic Semigroups |
| ISBN | 1-4704-0470-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Abstract""; ""Acknowledgements""; ""Overview""; ""Chapter I. Boolean, Relation-Induced, and Other Operations for Dealing with First-Order Definability""; ""Chapter II. Uniform Relations Between Sequences""; ""Chapter III. Diagonal Relations""; ""Chapter IV. Uniform Diagonal Relations and Some Kinds of Bisections or Bisectable Relations""; ""Chapter V. Presentation of S[sub(g)], S[sub(p)], and Related Structures""; ""Chapter VI. Presentation of S[sub(pq)], S[sub(pe)] and Related Structures""; ""Chapter VII. Presentation of S[sub(pqe)] and Related Structures""
""Appendix. Presentation of Î?S[sub(q)] and Related Structures""""Bibliography""; ""Index of Symbols""; ""Index of Phrases and Subjects""; ""List of Relations Involved in Presentations""; ""Synopsis of Presentations"" |
| Record Nr. | UNINA-9910788742903321 |
|
Craig William <1918->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semigroups underlying first-order logic / / William Craig
| Semigroups underlying first-order logic / / William Craig |
| Autore | Craig William <1918-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (298 p.) |
| Disciplina | 511.3/24 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebraic logic
First-order logic Semigroups |
| ISBN | 1-4704-0470-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Abstract""; ""Acknowledgements""; ""Overview""; ""Chapter I. Boolean, Relation-Induced, and Other Operations for Dealing with First-Order Definability""; ""Chapter II. Uniform Relations Between Sequences""; ""Chapter III. Diagonal Relations""; ""Chapter IV. Uniform Diagonal Relations and Some Kinds of Bisections or Bisectable Relations""; ""Chapter V. Presentation of S[sub(g)], S[sub(p)], and Related Structures""; ""Chapter VI. Presentation of S[sub(pq)], S[sub(pe)] and Related Structures""; ""Chapter VII. Presentation of S[sub(pqe)] and Related Structures""
""Appendix. Presentation of Î?S[sub(q)] and Related Structures""""Bibliography""; ""Index of Symbols""; ""Index of Phrases and Subjects""; ""List of Relations Involved in Presentations""; ""Synopsis of Presentations"" |
| Record Nr. | UNINA-9910827758603321 |
|
Craig William <1918->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]]
| Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]] |
| Autore | Casanovas Enrique <1957-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiv, 169 pages) : digital, PDF file(s) |
| Disciplina | 511.3/4 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Model theory
First-order logic Hyperspace |
| ISBN |
1-107-21312-6
1-139-09009-7 1-139-09291-X 1-280-77592-0 1-139-09240-5 9786613686312 1-139-09100-X 1-139-00372-0 1-139-09189-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preliminaries -- x, y-Types, stability and simplicity -- x, y-Types and the local rank D -- Forking -- Independence -- The local rank CB x, y (pi) -- Heirs and coheirs -- Stable forking -- Lascar strong types -- The independence theorem -- Canonical bases -- Abstract independence relations -- Supersimple theories -- More ranks -- Hyperimaginaries -- Hyperimaginary forking -- Canonical bases revisited -- Elimination of hyperimaginaries -- Orthogonality and analysability -- Hyperimaginaries in supersimple theories. |
| Altri titoli varianti | Simple Theories & Hyperimaginaries |
| Record Nr. | UNINA-9910462540103321 |
|
Casanovas Enrique <1957->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]]
| Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]] |
| Autore | Casanovas Enrique <1957-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiv, 169 pages) : digital, PDF file(s) |
| Disciplina | 511.3/4 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Model theory
First-order logic Hyperspace |
| ISBN |
1-107-21312-6
1-139-09009-7 1-139-09291-X 1-280-77592-0 1-139-09240-5 9786613686312 1-139-09100-X 1-139-00372-0 1-139-09189-1 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preliminaries -- x, y-Types, stability and simplicity -- x, y-Types and the local rank D -- Forking -- Independence -- The local rank CB x, y (pi) -- Heirs and coheirs -- Stable forking -- Lascar strong types -- The independence theorem -- Canonical bases -- Abstract independence relations -- Supersimple theories -- More ranks -- Hyperimaginaries -- Hyperimaginary forking -- Canonical bases revisited -- Elimination of hyperimaginaries -- Orthogonality and analysability -- Hyperimaginaries in supersimple theories. |
| Altri titoli varianti | Simple Theories & Hyperimaginaries |
| Record Nr. | UNINA-9910790177803321 |
|
Casanovas Enrique <1957->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]]
| Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]] |
| Autore | Casanovas Enrique <1957-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiv, 169 pages) : digital, PDF file(s) |
| Disciplina | 511.3/4 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Model theory
First-order logic Hyperspace |
| ISBN |
1-107-21312-6
1-139-09009-7 1-139-09291-X 1-280-77592-0 1-139-09240-5 9786613686312 1-139-09100-X 1-139-00372-0 1-139-09189-1 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preliminaries -- x, y-Types, stability and simplicity -- x, y-Types and the local rank D -- Forking -- Independence -- The local rank CB x, y (pi) -- Heirs and coheirs -- Stable forking -- Lascar strong types -- The independence theorem -- Canonical bases -- Abstract independence relations -- Supersimple theories -- More ranks -- Hyperimaginaries -- Hyperimaginary forking -- Canonical bases revisited -- Elimination of hyperimaginaries -- Orthogonality and analysability -- Hyperimaginaries in supersimple theories. |
| Altri titoli varianti | Simple Theories & Hyperimaginaries |
| Record Nr. | UNINA-9910806967603321 |
|
Casanovas Enrique <1957->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
First-order logic
(17)
- Algebraic logic (3)
- Duality theory (Mathematics) (3)
- Hyperspace (3)
- Lattice theory (3)