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.
"Abstract" homomorphisms of split Kac-Moody groups / / Pierre-Emmanuel Caprace
| "Abstract" homomorphisms of split Kac-Moody groups / / Pierre-Emmanuel Caprace |
| Autore | Caprace Pierre-Emmanuel <1981-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2009 |
| Descrizione fisica | 1 online resource (108 p.) |
| Disciplina | 511.3/26 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Isomorphisms (Mathematics)
Automorphisms Kac-Moody algebras |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0530-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction""; ""Acknowledgements""; ""Chapter 1. The objects: Kac-Moody groups, root data and Tits buildings""; ""1.1. Kac-Moody groups and Tits functors""; ""1.2. Root data""; ""1.3. Tits buildings""; ""1.4. Twin root data and twin buildings: a short dictionary""; ""Chapter 2. Basic tools from geometric group theory""; ""2.1. CAT(0) geometry""; ""2.2. Rigidity of algebraic-group-actions on trees""; ""Chapter 3. Kac-Moody groups and algebraic groups""; ""3.1. Bounded subgroups""; ""3.2. Adjoint representation of Tits functors""
""3.3. A few facts from the theory of algebraic groups""""Chapter 4. Isomorphisms of Kac-Moody groups: an overview""; ""4.1. The isomorphism theorem""; ""4.2. Diagonalizable subgroups and their centralizers""; ""4.3. Completely reducible subgroups and their centralizers""; ""4.4. Basic recognition of the ground field""; ""4.5. Detecting rank one subgroups of Kac-Moody groups""; ""4.6. Images of diagonalizable subgroups under Kac-Moody group isomorphisms""; ""4.7. A technical auxiliary to the isomorphism theorem""; ""Chapter 5. Isomorphisms of Kac-Moody groups in characteristic zero"" ""5.1. Rigidity of SL[sub(2)](Q)-actions on CAT(0) polyhedral complexes""""5.2. Homomorphisms of Chevalley groups over Q to Kac-Moody groups""; ""5.3. Regularity of diagonalizable subgroups""; ""5.4. Proof of the isomorphism theorem""; ""Chapter 6. Isomorphisms of Kac-Moody groups in positive characteristic""; ""6.1. On bounded subgroups of Kac-Moody groups""; ""6.2. Homomorphisms of certain algebraic groups to Kac-Moody groups""; ""6.3. Images of certain small subgroups under Kac-Moody group isomorphisms""; ""6.4. Proof of the isomorphism theorem"" ""Chapter 7. Homomorphisms of Kac-Moody groups to algebraic groups""""7.1. The non-linearity theorem""; ""7.2. A combinatorial characterization of affine Coxeter groups""; ""7.3. On infinite root systems""; ""7.4. Proof of the non-linearity theorem""; ""Chapter 8. Unitary forms of Kac-Moody groups""; ""8.1. Introduction""; ""8.2. Definitions""; ""8.3. Isomorphisms of unitary forms""; ""8.4. Non-linearity""; ""Bibliography""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""G""; ""H""; ""I""; ""K""; ""L""; ""M""; ""N""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W"" |
| Record Nr. | UNINA-9910480394403321 |
Caprace Pierre-Emmanuel <1981->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
"Abstract" homomorphisms of split Kac-Moody groups / / Pierre-Emmanuel Caprace
| "Abstract" homomorphisms of split Kac-Moody groups / / Pierre-Emmanuel Caprace |
| Autore | Caprace Pierre-Emmanuel <1981-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2009 |
| Descrizione fisica | 1 online resource (108 p.) |
| Disciplina | 511.3/26 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Isomorphisms (Mathematics)
Automorphisms Kac-Moody algebras |
| ISBN | 1-4704-0530-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction""; ""Acknowledgements""; ""Chapter 1. The objects: Kac-Moody groups, root data and Tits buildings""; ""1.1. Kac-Moody groups and Tits functors""; ""1.2. Root data""; ""1.3. Tits buildings""; ""1.4. Twin root data and twin buildings: a short dictionary""; ""Chapter 2. Basic tools from geometric group theory""; ""2.1. CAT(0) geometry""; ""2.2. Rigidity of algebraic-group-actions on trees""; ""Chapter 3. Kac-Moody groups and algebraic groups""; ""3.1. Bounded subgroups""; ""3.2. Adjoint representation of Tits functors""
""3.3. A few facts from the theory of algebraic groups""""Chapter 4. Isomorphisms of Kac-Moody groups: an overview""; ""4.1. The isomorphism theorem""; ""4.2. Diagonalizable subgroups and their centralizers""; ""4.3. Completely reducible subgroups and their centralizers""; ""4.4. Basic recognition of the ground field""; ""4.5. Detecting rank one subgroups of Kac-Moody groups""; ""4.6. Images of diagonalizable subgroups under Kac-Moody group isomorphisms""; ""4.7. A technical auxiliary to the isomorphism theorem""; ""Chapter 5. Isomorphisms of Kac-Moody groups in characteristic zero"" ""5.1. Rigidity of SL[sub(2)](Q)-actions on CAT(0) polyhedral complexes""""5.2. Homomorphisms of Chevalley groups over Q to Kac-Moody groups""; ""5.3. Regularity of diagonalizable subgroups""; ""5.4. Proof of the isomorphism theorem""; ""Chapter 6. Isomorphisms of Kac-Moody groups in positive characteristic""; ""6.1. On bounded subgroups of Kac-Moody groups""; ""6.2. Homomorphisms of certain algebraic groups to Kac-Moody groups""; ""6.3. Images of certain small subgroups under Kac-Moody group isomorphisms""; ""6.4. Proof of the isomorphism theorem"" ""Chapter 7. Homomorphisms of Kac-Moody groups to algebraic groups""""7.1. The non-linearity theorem""; ""7.2. A combinatorial characterization of affine Coxeter groups""; ""7.3. On infinite root systems""; ""7.4. Proof of the non-linearity theorem""; ""Chapter 8. Unitary forms of Kac-Moody groups""; ""8.1. Introduction""; ""8.2. Definitions""; ""8.3. Isomorphisms of unitary forms""; ""8.4. Non-linearity""; ""Bibliography""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""G""; ""H""; ""I""; ""K""; ""L""; ""M""; ""N""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W"" |
| Record Nr. | UNINA-9910788854303321 |
|
Caprace Pierre-Emmanuel <1981->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
"Abstract" homomorphisms of split Kac-Moody groups / / Pierre-Emmanuel Caprace
| "Abstract" homomorphisms of split Kac-Moody groups / / Pierre-Emmanuel Caprace |
| Autore | Caprace Pierre-Emmanuel <1981-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2009 |
| Descrizione fisica | 1 online resource (108 p.) |
| Disciplina | 511.3/26 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Isomorphisms (Mathematics)
Automorphisms Kac-Moody algebras |
| ISBN | 1-4704-0530-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Introduction""; ""Acknowledgements""; ""Chapter 1. The objects: Kac-Moody groups, root data and Tits buildings""; ""1.1. Kac-Moody groups and Tits functors""; ""1.2. Root data""; ""1.3. Tits buildings""; ""1.4. Twin root data and twin buildings: a short dictionary""; ""Chapter 2. Basic tools from geometric group theory""; ""2.1. CAT(0) geometry""; ""2.2. Rigidity of algebraic-group-actions on trees""; ""Chapter 3. Kac-Moody groups and algebraic groups""; ""3.1. Bounded subgroups""; ""3.2. Adjoint representation of Tits functors""
""3.3. A few facts from the theory of algebraic groups""""Chapter 4. Isomorphisms of Kac-Moody groups: an overview""; ""4.1. The isomorphism theorem""; ""4.2. Diagonalizable subgroups and their centralizers""; ""4.3. Completely reducible subgroups and their centralizers""; ""4.4. Basic recognition of the ground field""; ""4.5. Detecting rank one subgroups of Kac-Moody groups""; ""4.6. Images of diagonalizable subgroups under Kac-Moody group isomorphisms""; ""4.7. A technical auxiliary to the isomorphism theorem""; ""Chapter 5. Isomorphisms of Kac-Moody groups in characteristic zero"" ""5.1. Rigidity of SL[sub(2)](Q)-actions on CAT(0) polyhedral complexes""""5.2. Homomorphisms of Chevalley groups over Q to Kac-Moody groups""; ""5.3. Regularity of diagonalizable subgroups""; ""5.4. Proof of the isomorphism theorem""; ""Chapter 6. Isomorphisms of Kac-Moody groups in positive characteristic""; ""6.1. On bounded subgroups of Kac-Moody groups""; ""6.2. Homomorphisms of certain algebraic groups to Kac-Moody groups""; ""6.3. Images of certain small subgroups under Kac-Moody group isomorphisms""; ""6.4. Proof of the isomorphism theorem"" ""Chapter 7. Homomorphisms of Kac-Moody groups to algebraic groups""""7.1. The non-linearity theorem""; ""7.2. A combinatorial characterization of affine Coxeter groups""; ""7.3. On infinite root systems""; ""7.4. Proof of the non-linearity theorem""; ""Chapter 8. Unitary forms of Kac-Moody groups""; ""8.1. Introduction""; ""8.2. Definitions""; ""8.3. Isomorphisms of unitary forms""; ""8.4. Non-linearity""; ""Bibliography""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""G""; ""H""; ""I""; ""K""; ""L""; ""M""; ""N""; ""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W"" |
| Record Nr. | UNINA-9910812439503321 |
|
Caprace Pierre-Emmanuel <1981->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on the Curry-Howard isomorphism [[electronic resource] /] / Morten Heine Sørensen, Paweł Urzyczyn
| Lectures on the Curry-Howard isomorphism [[electronic resource] /] / Morten Heine Sørensen, Paweł Urzyczyn |
| Autore | Sørensen Morten Heine |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston [MA], : Elsevier, 2006 |
| Descrizione fisica | 1 online resource (457 p.) |
| Disciplina | 511.3/26 |
| Altri autori (Persone) | UrzyczynPaweł |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico |
Curry-Howard isomorphism
Lambda calculus Proof theory |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-05105-5
9786611051051 0-08-047892-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright Page; Table of Contents; Chapter 1 Type-free Lambda-calculus; 1.1 A gentle introduction; 1.2 Pre-terms and Lambda-terms; 1.3 Reduction; 1.4 The Church-Rosser theorem; 1.5 Leftmost reductions are normalizing; 1.6 Perpetual reductions and the conservation theorem; 1.7 Expressibility and undeeidability; 1.8 Notes; 1.9 Exercises; Chapter 2 Intultionistic logic; 2.1 The BHK interpretation; 2.2 Natural deduction; 2.3 Algebraic semantics of classical logic; 2.4 Heyting algebras; 2.5 Kripke semantics; 2.6 The implicational fragment; 2.7 Notes; 2.8 Exercises
Chapter 3 Simply typed Lambda-calcuIus3.1 Simply typed Lambda-ealculus a la Curry; 3.2 Type reconstruction algorithm; 3.3 Simply typed Lambda-calculus a la Church; 3.4 Church versus Curry typing; 3.5 Normalization; 3.6 Church-Rosser property; 3.7 Expressibility; 3.8 Notes; 3.9 Exercises; Chapter 4 The Curry-Howard isomorphism; 4.1 Proofs and terms; 4.2 Type inhabitation; 4.3 Not an exact isomorphism; 4.4 Proof normalization; 4.5 Sums and products; 4.6 Prover-skeptic dialogues; 4.7 Prover-skeptic dialogues with absurdity; 4.8 Notes; 4.9 Exercises; Chapter 5 Proofs as combinators 5.1 Hubert style proofs5.2 Combinatory logic; 5.3 Typed combinators; 5.4 Combinators versus lambda terms; 5.5 Extensionality; 5.6 Relevance and linearity; 5.7 Notes; 5.8 Exercises; Chapter 6 Classical logic and control operators; 6.1 Classical prepositional lope; 6.2 The Lambda meu-calculus; 6.3 Subject reduction, confluence, strong normalization; 6.4 Logical embedding and CPS translation; 6.5 Classical prover-skeptic dialogues; 6.6 The pure implicational fragment; 6.7 Conjunction and disjunction; 6.8 Notes; 6.9 Exercises; Chapter 7 Sequent calculus; 7.1 Gentzen's sequent calculus LK 7.2 Fragments of LK versus natural deduction7.3 Gentzen's Hauptaatz; 7.4 Cut elimination versus normalization; 7.5 Lorenzen dialogues; 7.6 Notes; 7.7 Exercises; Chapter 8 First-order logic; 8.1 Syntax of first-order logic; 8.2 Informal semantics; 8.3 Proof systems; 8.4 Classical semantics; 8.5 Algebraic semantics of intuitionistie logic; 8.6 Kripke semantics; 8.7 Lambda-calculus; 8.8 Undeddability; 8.9 Notes; 8.10 Exercises; Chapter 9 First-order arithmetic; 9.1 The language of arithmetic; 9.2 Peano Arithmetic; 9.3 Godel's theorems; 9.4 Representable and provably recursive functions 9.5 Heyting Arithmetic9.6 Kleene's realfeability interpretation; 9.7 Notes; 9.8 Exercises; Chapter 10 Godel's system T; 10.1 From Heyting Arithmetic to system T; 10.2 Syntax; 10.3 Strong normalization; 10.4 Modified realizability; 10.5 Notes; 10.6 Exercises; Chapter 11 Second-order logic and polymorphism; 11.1 Prepositional second-order logic; 11.2 Polymorphic lambda-calculus (system F); 11.3 Expressive power; 11.4 Gurry-style polymorphism; 11.5 Strong normalization; 11.6 The inhabitation problem; 11.7 Higher-order polymorphism; 11.8 Notes; 11.9 Exercises Chapter 12 Second-order arithmetic |
| Record Nr. | UNINA-9910457434803321 |
|
Sørensen Morten Heine
|
||
| Amsterdam ; ; Boston [MA], : Elsevier, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on the Curry-Howard isomorphism [[electronic resource] /] / Morten Heine Sørensen, Paweł Urzyczyn
| Lectures on the Curry-Howard isomorphism [[electronic resource] /] / Morten Heine Sørensen, Paweł Urzyczyn |
| Autore | Sørensen Morten Heine |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston [MA], : Elsevier, 2006 |
| Descrizione fisica | 1 online resource (457 p.) |
| Disciplina | 511.3/26 |
| Altri autori (Persone) | UrzyczynPaweł |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico |
Curry-Howard isomorphism
Lambda calculus Proof theory |
| ISBN |
1-281-05105-5
9786611051051 0-08-047892-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright Page; Table of Contents; Chapter 1 Type-free Lambda-calculus; 1.1 A gentle introduction; 1.2 Pre-terms and Lambda-terms; 1.3 Reduction; 1.4 The Church-Rosser theorem; 1.5 Leftmost reductions are normalizing; 1.6 Perpetual reductions and the conservation theorem; 1.7 Expressibility and undeeidability; 1.8 Notes; 1.9 Exercises; Chapter 2 Intultionistic logic; 2.1 The BHK interpretation; 2.2 Natural deduction; 2.3 Algebraic semantics of classical logic; 2.4 Heyting algebras; 2.5 Kripke semantics; 2.6 The implicational fragment; 2.7 Notes; 2.8 Exercises
Chapter 3 Simply typed Lambda-calcuIus3.1 Simply typed Lambda-ealculus a la Curry; 3.2 Type reconstruction algorithm; 3.3 Simply typed Lambda-calculus a la Church; 3.4 Church versus Curry typing; 3.5 Normalization; 3.6 Church-Rosser property; 3.7 Expressibility; 3.8 Notes; 3.9 Exercises; Chapter 4 The Curry-Howard isomorphism; 4.1 Proofs and terms; 4.2 Type inhabitation; 4.3 Not an exact isomorphism; 4.4 Proof normalization; 4.5 Sums and products; 4.6 Prover-skeptic dialogues; 4.7 Prover-skeptic dialogues with absurdity; 4.8 Notes; 4.9 Exercises; Chapter 5 Proofs as combinators 5.1 Hubert style proofs5.2 Combinatory logic; 5.3 Typed combinators; 5.4 Combinators versus lambda terms; 5.5 Extensionality; 5.6 Relevance and linearity; 5.7 Notes; 5.8 Exercises; Chapter 6 Classical logic and control operators; 6.1 Classical prepositional lope; 6.2 The Lambda meu-calculus; 6.3 Subject reduction, confluence, strong normalization; 6.4 Logical embedding and CPS translation; 6.5 Classical prover-skeptic dialogues; 6.6 The pure implicational fragment; 6.7 Conjunction and disjunction; 6.8 Notes; 6.9 Exercises; Chapter 7 Sequent calculus; 7.1 Gentzen's sequent calculus LK 7.2 Fragments of LK versus natural deduction7.3 Gentzen's Hauptaatz; 7.4 Cut elimination versus normalization; 7.5 Lorenzen dialogues; 7.6 Notes; 7.7 Exercises; Chapter 8 First-order logic; 8.1 Syntax of first-order logic; 8.2 Informal semantics; 8.3 Proof systems; 8.4 Classical semantics; 8.5 Algebraic semantics of intuitionistie logic; 8.6 Kripke semantics; 8.7 Lambda-calculus; 8.8 Undeddability; 8.9 Notes; 8.10 Exercises; Chapter 9 First-order arithmetic; 9.1 The language of arithmetic; 9.2 Peano Arithmetic; 9.3 Godel's theorems; 9.4 Representable and provably recursive functions 9.5 Heyting Arithmetic9.6 Kleene's realfeability interpretation; 9.7 Notes; 9.8 Exercises; Chapter 10 Godel's system T; 10.1 From Heyting Arithmetic to system T; 10.2 Syntax; 10.3 Strong normalization; 10.4 Modified realizability; 10.5 Notes; 10.6 Exercises; Chapter 11 Second-order logic and polymorphism; 11.1 Prepositional second-order logic; 11.2 Polymorphic lambda-calculus (system F); 11.3 Expressive power; 11.4 Gurry-style polymorphism; 11.5 Strong normalization; 11.6 The inhabitation problem; 11.7 Higher-order polymorphism; 11.8 Notes; 11.9 Exercises Chapter 12 Second-order arithmetic |
| Record Nr. | UNINA-9910784595103321 |
|
Sørensen Morten Heine
|
||
| Amsterdam ; ; Boston [MA], : Elsevier, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on the Curry-Howard isomorphism [[electronic resource] /] / Morten Heine Sørensen, Paweł Urzyczyn
| Lectures on the Curry-Howard isomorphism [[electronic resource] /] / Morten Heine Sørensen, Paweł Urzyczyn |
| Autore | Sørensen Morten Heine |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston [MA], : Elsevier, 2006 |
| Descrizione fisica | 1 online resource (457 p.) |
| Disciplina | 511.3/26 |
| Altri autori (Persone) | UrzyczynPaweł |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico |
Curry-Howard isomorphism
Lambda calculus Proof theory |
| ISBN |
1-281-05105-5
9786611051051 0-08-047892-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright Page; Table of Contents; Chapter 1 Type-free Lambda-calculus; 1.1 A gentle introduction; 1.2 Pre-terms and Lambda-terms; 1.3 Reduction; 1.4 The Church-Rosser theorem; 1.5 Leftmost reductions are normalizing; 1.6 Perpetual reductions and the conservation theorem; 1.7 Expressibility and undeeidability; 1.8 Notes; 1.9 Exercises; Chapter 2 Intultionistic logic; 2.1 The BHK interpretation; 2.2 Natural deduction; 2.3 Algebraic semantics of classical logic; 2.4 Heyting algebras; 2.5 Kripke semantics; 2.6 The implicational fragment; 2.7 Notes; 2.8 Exercises
Chapter 3 Simply typed Lambda-calcuIus3.1 Simply typed Lambda-ealculus a la Curry; 3.2 Type reconstruction algorithm; 3.3 Simply typed Lambda-calculus a la Church; 3.4 Church versus Curry typing; 3.5 Normalization; 3.6 Church-Rosser property; 3.7 Expressibility; 3.8 Notes; 3.9 Exercises; Chapter 4 The Curry-Howard isomorphism; 4.1 Proofs and terms; 4.2 Type inhabitation; 4.3 Not an exact isomorphism; 4.4 Proof normalization; 4.5 Sums and products; 4.6 Prover-skeptic dialogues; 4.7 Prover-skeptic dialogues with absurdity; 4.8 Notes; 4.9 Exercises; Chapter 5 Proofs as combinators 5.1 Hubert style proofs5.2 Combinatory logic; 5.3 Typed combinators; 5.4 Combinators versus lambda terms; 5.5 Extensionality; 5.6 Relevance and linearity; 5.7 Notes; 5.8 Exercises; Chapter 6 Classical logic and control operators; 6.1 Classical prepositional lope; 6.2 The Lambda meu-calculus; 6.3 Subject reduction, confluence, strong normalization; 6.4 Logical embedding and CPS translation; 6.5 Classical prover-skeptic dialogues; 6.6 The pure implicational fragment; 6.7 Conjunction and disjunction; 6.8 Notes; 6.9 Exercises; Chapter 7 Sequent calculus; 7.1 Gentzen's sequent calculus LK 7.2 Fragments of LK versus natural deduction7.3 Gentzen's Hauptaatz; 7.4 Cut elimination versus normalization; 7.5 Lorenzen dialogues; 7.6 Notes; 7.7 Exercises; Chapter 8 First-order logic; 8.1 Syntax of first-order logic; 8.2 Informal semantics; 8.3 Proof systems; 8.4 Classical semantics; 8.5 Algebraic semantics of intuitionistie logic; 8.6 Kripke semantics; 8.7 Lambda-calculus; 8.8 Undeddability; 8.9 Notes; 8.10 Exercises; Chapter 9 First-order arithmetic; 9.1 The language of arithmetic; 9.2 Peano Arithmetic; 9.3 Godel's theorems; 9.4 Representable and provably recursive functions 9.5 Heyting Arithmetic9.6 Kleene's realfeability interpretation; 9.7 Notes; 9.8 Exercises; Chapter 10 Godel's system T; 10.1 From Heyting Arithmetic to system T; 10.2 Syntax; 10.3 Strong normalization; 10.4 Modified realizability; 10.5 Notes; 10.6 Exercises; Chapter 11 Second-order logic and polymorphism; 11.1 Prepositional second-order logic; 11.2 Polymorphic lambda-calculus (system F); 11.3 Expressive power; 11.4 Gurry-style polymorphism; 11.5 Strong normalization; 11.6 The inhabitation problem; 11.7 Higher-order polymorphism; 11.8 Notes; 11.9 Exercises Chapter 12 Second-order arithmetic |
| Record Nr. | UNINA-9910822195503321 |
|
Sørensen Morten Heine
|
||
| Amsterdam ; ; Boston [MA], : Elsevier, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The mapping class group from the viewpoint of measure equivalence theory / / Yoshikata Kida
| The mapping class group from the viewpoint of measure equivalence theory / / Yoshikata Kida |
| Autore | Kida Yoshikata <1982-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2008] |
| Descrizione fisica | 1 online resource (206 p.) |
| Disciplina | 511.3/26 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Mappings (Mathematics)
Class groups (Mathematics) Measure theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0522-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Property A for the curve complex""; ""1. Geometry of the curve complex""; ""2. Generalities for property A""; ""3. Property A for the curve complex""; ""4. Exceptional surfaces""; ""Chapter 3. Amenability for the action of the mapping class group on the boundary of the curve complex""; ""1. The mapping class group and the Thurston boundary""; ""2. The boundary at infinity of the curve complex""; ""3. Amenability for the actions of the mapping class group""; ""4. The boundary of the curve complex for an exceptional surface""
""Chapter 4. Indecomposability of equivalence relations generated by the mapping class group""""1. Construction of Busemann functions and the MIN set map""; ""2. Preliminaries on discrete measured equivalence relations""; ""3. Reducible elements in the mapping class group""; ""4. Subrelations of the two types: irreducible and amenable ones and reducible ones""; ""5. Canonical reduction systems for reducible subrelations""; ""6. Indecomposability of equivalence relations generated by actions of the mapping class group""; ""7. Comparison with hyperbolic groups"" ""Chapter 5. Classification of the mapping class groups in terms of measure equivalence I""""1. Reducible subrelations, revisited""; ""2. Irreducible and amenable subsurfaces""; ""3. Amenable, reducible subrelations""; ""4. Classification""; ""Chapter 6. Classification of the mapping class groups in terms of measure equivalence II""; ""1. Geometric lemmas""; ""2. Families of subrelations satisfying the maximal condition""; ""3. Application I (Invariance of complexity under measure equivalence)""; ""4. Application II (The case where complexity is odd)"" ""5. Application III (The case where complexity is even)""""Appendix A. Amenability of a group action""; ""1. Notation""; ""2. Existence of invariant means""; ""3. The fixed point property""; ""Appendix B. Measurability of the map associating image measures""; ""Appendix C. Exactness of the mapping class group""; ""Appendix D. The cost and l[sup(2)]-Betti numbers of the mapping class group""; ""1. The cost of the mapping class group""; ""2. The l[sup(2)]-Betti numbers of the mapping class group""; ""Appendix E. A group-theoretic argument for Chapter 5""; ""Bibliography""; ""Index""; ""A"" ""B""""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""L""; ""M""; ""N""; ""O""; ""P""; ""Q""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W"" |
| Record Nr. | UNINA-9910481009903321 |
|
Kida Yoshikata <1982->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The mapping class group from the viewpoint of measure equivalence theory / / Yoshikata Kida
| The mapping class group from the viewpoint of measure equivalence theory / / Yoshikata Kida |
| Autore | Kida Yoshikata <1982-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2008] |
| Descrizione fisica | 1 online resource (206 p.) |
| Disciplina | 511.3/26 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Mappings (Mathematics)
Class groups (Mathematics) Measure theory |
| ISBN | 1-4704-0522-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Property A for the curve complex""; ""1. Geometry of the curve complex""; ""2. Generalities for property A""; ""3. Property A for the curve complex""; ""4. Exceptional surfaces""; ""Chapter 3. Amenability for the action of the mapping class group on the boundary of the curve complex""; ""1. The mapping class group and the Thurston boundary""; ""2. The boundary at infinity of the curve complex""; ""3. Amenability for the actions of the mapping class group""; ""4. The boundary of the curve complex for an exceptional surface""
""Chapter 4. Indecomposability of equivalence relations generated by the mapping class group""""1. Construction of Busemann functions and the MIN set map""; ""2. Preliminaries on discrete measured equivalence relations""; ""3. Reducible elements in the mapping class group""; ""4. Subrelations of the two types: irreducible and amenable ones and reducible ones""; ""5. Canonical reduction systems for reducible subrelations""; ""6. Indecomposability of equivalence relations generated by actions of the mapping class group""; ""7. Comparison with hyperbolic groups"" ""Chapter 5. Classification of the mapping class groups in terms of measure equivalence I""""1. Reducible subrelations, revisited""; ""2. Irreducible and amenable subsurfaces""; ""3. Amenable, reducible subrelations""; ""4. Classification""; ""Chapter 6. Classification of the mapping class groups in terms of measure equivalence II""; ""1. Geometric lemmas""; ""2. Families of subrelations satisfying the maximal condition""; ""3. Application I (Invariance of complexity under measure equivalence)""; ""4. Application II (The case where complexity is odd)"" ""5. Application III (The case where complexity is even)""""Appendix A. Amenability of a group action""; ""1. Notation""; ""2. Existence of invariant means""; ""3. The fixed point property""; ""Appendix B. Measurability of the map associating image measures""; ""Appendix C. Exactness of the mapping class group""; ""Appendix D. The cost and l[sup(2)]-Betti numbers of the mapping class group""; ""1. The cost of the mapping class group""; ""2. The l[sup(2)]-Betti numbers of the mapping class group""; ""Appendix E. A group-theoretic argument for Chapter 5""; ""Bibliography""; ""Index""; ""A"" ""B""""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""L""; ""M""; ""N""; ""O""; ""P""; ""Q""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W"" |
| Record Nr. | UNINA-9910788853503321 |
|
Kida Yoshikata <1982->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The mapping class group from the viewpoint of measure equivalence theory / / Yoshikata Kida
| The mapping class group from the viewpoint of measure equivalence theory / / Yoshikata Kida |
| Autore | Kida Yoshikata <1982-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2008] |
| Descrizione fisica | 1 online resource (206 p.) |
| Disciplina | 511.3/26 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Mappings (Mathematics)
Class groups (Mathematics) Measure theory |
| ISBN | 1-4704-0522-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Chapter 1. Introduction""; ""Chapter 2. Property A for the curve complex""; ""1. Geometry of the curve complex""; ""2. Generalities for property A""; ""3. Property A for the curve complex""; ""4. Exceptional surfaces""; ""Chapter 3. Amenability for the action of the mapping class group on the boundary of the curve complex""; ""1. The mapping class group and the Thurston boundary""; ""2. The boundary at infinity of the curve complex""; ""3. Amenability for the actions of the mapping class group""; ""4. The boundary of the curve complex for an exceptional surface""
""Chapter 4. Indecomposability of equivalence relations generated by the mapping class group""""1. Construction of Busemann functions and the MIN set map""; ""2. Preliminaries on discrete measured equivalence relations""; ""3. Reducible elements in the mapping class group""; ""4. Subrelations of the two types: irreducible and amenable ones and reducible ones""; ""5. Canonical reduction systems for reducible subrelations""; ""6. Indecomposability of equivalence relations generated by actions of the mapping class group""; ""7. Comparison with hyperbolic groups"" ""Chapter 5. Classification of the mapping class groups in terms of measure equivalence I""""1. Reducible subrelations, revisited""; ""2. Irreducible and amenable subsurfaces""; ""3. Amenable, reducible subrelations""; ""4. Classification""; ""Chapter 6. Classification of the mapping class groups in terms of measure equivalence II""; ""1. Geometric lemmas""; ""2. Families of subrelations satisfying the maximal condition""; ""3. Application I (Invariance of complexity under measure equivalence)""; ""4. Application II (The case where complexity is odd)"" ""5. Application III (The case where complexity is even)""""Appendix A. Amenability of a group action""; ""1. Notation""; ""2. Existence of invariant means""; ""3. The fixed point property""; ""Appendix B. Measurability of the map associating image measures""; ""Appendix C. Exactness of the mapping class group""; ""Appendix D. The cost and l[sup(2)]-Betti numbers of the mapping class group""; ""1. The cost of the mapping class group""; ""2. The l[sup(2)]-Betti numbers of the mapping class group""; ""Appendix E. A group-theoretic argument for Chapter 5""; ""Bibliography""; ""Index""; ""A"" ""B""""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""L""; ""M""; ""N""; ""O""; ""P""; ""Q""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W"" |
| Record Nr. | UNINA-9910818801703321 |
|
Kida Yoshikata <1982->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern trends in constructive function theory [[electronic resource] ] : conference in honor of Ed Saff's 70th birthday : constructive functions 2014, May 26-30, 2014, Vanderbilt University, Nashville, Tennessee / / Douglas P. Hardin, Doron S. Lubinsky, Brian Z. Simanek, editors
| Modern trends in constructive function theory [[electronic resource] ] : conference in honor of Ed Saff's 70th birthday : constructive functions 2014, May 26-30, 2014, Vanderbilt University, Nashville, Tennessee / / Douglas P. Hardin, Doron S. Lubinsky, Brian Z. Simanek, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2014 |
| Descrizione fisica | 1 online resource (ix, 297 pages : illustrations) |
| Disciplina | 511.3/26 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Functions
Approximation theory Mathematical analysis Number theory -- Additive number theory; partitions -- Lattice points in specified regions Real functions -- Polynomials, rational functions -- Polynomials: location of zeros Potential theory -- Two-dimensional theory -- Potentials and capacity, harmonic measure, extremal length Special functions (33-XX deals with the properties of functions as functions) -- Hypergeometric functions -- Orthogonal polynomials and functions in several variables expressible in terms of special functions in one variable Partial differential equations -- Hyperbolic equations and systems -- Shocks and singularities Sequences, series, summability -- Convergence and divergence of infinite limiting processes -- Convergence and divergence of continued fractions Approximations and expansions -- Approximations and expansions -- Padé approximation Harmonic analysis on Euclidean spaces -- Nontrigonometric harmonic analysis -- Orthogonal functions and polynomials, general theory Probability theory and stochastic processes -- Probability theory on algebraic and topological structures -- Random matrices (probabilistic aspects; for algebraic aspects see 15B52) |
| ISBN | 1-4704-2534-3 |
| Classificazione | 11P2126C1031A1533C5035L6740A1541A2142C0560B20 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910789307003321 |
| Providence, Rhode Island : , : American Mathematical Society, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
