| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009261070403321 |
|
|
Titolo |
Software Composition [Risorsa elettronica] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Alexandre Bergel, Johan Fabry |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2009 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 5634 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA990003286740403321 |
|
|
Autore |
Riccardi, Riccardo <1897-1981> |
|
|
Titolo |
Ecuador : Condizioni Naturali ed Economiche |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma : Fratelli Treves, [1924] |
|
|
|
|
|
|
|
Descrizione fisica |
|
158 p., [14] c. : ill. ; 24 cm |
|
|
|
|
|
|
Collana |
|
Pubblicazioni dell'Istituto Cristoforo Colombo |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
|
|
Collocazione |
|
XV L 105 |
021.042.RIC |
K-05-013 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910788744303321 |
|
|
Autore |
Debs Gabriel <1952-> |
|
|
Titolo |
Borel liftings of Borel sets : some decidable and undecidable statements / / Gabriel Debs, Jean Saint Raymond |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , 2007 |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (134 p.) |
|
|
|
|
|
|
Collana |
|
Memoirs of the American Mathematical Society, , 0065-9266 ; ; Volume 187, Number 876 |
|
|
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Borel sets |
Descriptive set theory |
Constructibility (Set theory) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Volume 187, Number 876 (first of 4 numbers)." |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""Contents""; ""Introduction ""; ""0.1. Descriptive classes: ""; ""0.2. An elementary topological problem: ""; ""0.3. Continuous and Borel liftings: ""; ""0.4. Main result ""; ""0.5. Application 1 ""; ""0.6. Application 2 ""; ""0.7. Application 3 ""; ""Chapter 1. A Tree Representation for Borel Sets ""; ""1.1. Trees ""; ""1.2. Distinguished subrelation ""; ""1.3. Canonical mapping of a distinguished subtree ""; ""1.4. Uniformly distinguished subtree ""; ""1.5. Tree products ""; ""1.6. Tree expansions and representations of Borel sets ""; ""1.7. Regular expansions and representations "" |
""Chapter 2. A Double-Tree Representation for Borel Sets """"2.1. Double-trees ""; ""2.2. Double-tree characterization of â??[sup(0)][sub(2)] sets""; ""2.3. Double-tree characterization of D(â??[sup(0)][sub(2)]) sets""; ""2.4. Appendix : extension to Wadge classes""; ""Chapter 3. Two Applications of the Tree Representation""; ""3.1. Resolution of quasi-strategies""; ""3.2. Hurewicz type results""; ""3.3. A Borel separation result""; ""Chapter 4. Borel Liftings of Borel Sets""; ""4.1. Borel liftings of bounded rank""; ""4.2. Borel liftings of unbounded rank"" |
""4.3. Solution to Ostrovsky's problem""""4.4. Borel liftings in coanalytic sets""; ""Chapter 5. More Consequences and Reverse Results""; ""5.1. Some boudedness principles""; ""5.2. Reverse results""; ""5.3. |
|
|
|
|
|
|
|
|
|
|
Conclusion""; ""5.4. Appendix: A Perfect Set Theorem for a Class of Equivalence Relations""; ""Chapter 6. Proof of The Main Result""; ""6.1. Sketch of the proof""; ""6.2. Labeling games with delay""; ""6.3. Proof of the basic case""; ""6.4. Proof of the general limit case""; ""6.5. Proof of the general successor case""; ""Bibliography""; ""Index"" |
|
|
|
|
|
| |