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.
Set Theory : Exploring Independence and Truth / / by Ralf Schindler
| Set Theory : Exploring Independence and Truth / / by Ralf Schindler |
| Autore | Schindler Ralf |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (335 p.) |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematical Logic and Foundations |
| ISBN | 3-319-06725-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Naive set theory -- Axiomatic set theory -- Ordinals -- Cardinals -- Constructability -- Forcing -- Descriptive set theory -- Solovay’s model -- The Raisonnier filter -- Measurable cardinals -- 0# and Jensen’s Covering Lemma -- Analytic and full determinacy -- Projective determinacy. |
| Record Nr. | UNINA-9910299960803321 |
Schindler Ralf
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ways of proof theory [[electronic resource] /] / Ralf Schindler (ed.)
| Ways of proof theory [[electronic resource] /] / Ralf Schindler (ed.) |
| Autore | Schindler Ralf |
| Pubbl/distr/stampa | Frankfurt ; ; New Brunswick, : Ontos Verlag, 2010 |
| Descrizione fisica | 1 online resource (495 p.) |
| Disciplina | 511.3 |
| Collana |
Ontos Mathematical Logic
Ontos mathematical logic |
| Soggetto topico | Proof theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-032490-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Wolfram Pohlers-Life and Work / Diller, Justus -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 / Feferman, Solomon -- A New Approach to Predicative Set Theory / Avron, Arnon -- Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations / Beckmann, Arnold / Buss, Samuel R. -- On Topological Models of GLP / Beklemishev, Lev / Bezhanishvili, Guram / Icard, Thomas -- Program Extraction via Typed Realisability for Induction and Coinduction / Berger, Ulrich / Seisenberger, Monika -- Another Reduction of Classical IDν to Constructive IDiν / Buchholz, Wilfried -- Elementary Constructive Operational Set Theory / Cantini, Andrea / Crosilla, Laura -- Functional Interpretations of Classical Systems / Diller, Justus -- Towards a Formal Theory of Computability / Huber, Simon / Karádais, Basil A. / Schwichtenberg, Helmut -- Σ11 Choice in a Theory of Sets and Classes / Jäger, Gerhard / Krähenbühl, Jürg -- An Extended Predicative Definition of the Mahlo Universe / Kahle, Reinhard / Setzer, Anton -- ITTMs with Feedback / Lubarsky, Robert S. -- Logspace without Bounds / Oitavem, Isabel -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I / Rathjen, Michael -- Weak Theories of Operations and Types / Strahm, Thomas -- Computing Bounds from Arithmetical Proofs / Wainer, Stanley S. -- Backmatter |
| Record Nr. | UNINA-9910452722403321 |
|
Schindler Ralf
|
||
| Frankfurt ; ; New Brunswick, : Ontos Verlag, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ways of proof theory [[electronic resource] /] / Ralf Schindler (ed.)
| Ways of proof theory [[electronic resource] /] / Ralf Schindler (ed.) |
| Autore | Schindler Ralf |
| Pubbl/distr/stampa | Frankfurt ; ; New Brunswick, : Ontos Verlag, 2010 |
| Descrizione fisica | 1 online resource (495 p.) |
| Disciplina | 511.3 |
| Collana |
Ontos Mathematical Logic
Ontos mathematical logic |
| Soggetto topico | Proof theory |
| ISBN | 3-11-032490-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Wolfram Pohlers-Life and Work / Diller, Justus -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 / Feferman, Solomon -- A New Approach to Predicative Set Theory / Avron, Arnon -- Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations / Beckmann, Arnold / Buss, Samuel R. -- On Topological Models of GLP / Beklemishev, Lev / Bezhanishvili, Guram / Icard, Thomas -- Program Extraction via Typed Realisability for Induction and Coinduction / Berger, Ulrich / Seisenberger, Monika -- Another Reduction of Classical IDν to Constructive IDiν / Buchholz, Wilfried -- Elementary Constructive Operational Set Theory / Cantini, Andrea / Crosilla, Laura -- Functional Interpretations of Classical Systems / Diller, Justus -- Towards a Formal Theory of Computability / Huber, Simon / Karádais, Basil A. / Schwichtenberg, Helmut -- Σ11 Choice in a Theory of Sets and Classes / Jäger, Gerhard / Krähenbühl, Jürg -- An Extended Predicative Definition of the Mahlo Universe / Kahle, Reinhard / Setzer, Anton -- ITTMs with Feedback / Lubarsky, Robert S. -- Logspace without Bounds / Oitavem, Isabel -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I / Rathjen, Michael -- Weak Theories of Operations and Types / Strahm, Thomas -- Computing Bounds from Arithmetical Proofs / Wainer, Stanley S. -- Backmatter |
| Record Nr. | UNINA-9910779735603321 |
|
Schindler Ralf
|
||
| Frankfurt ; ; New Brunswick, : Ontos Verlag, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ways of proof theory / / Ralf Schindler (ed.)
| Ways of proof theory / / Ralf Schindler (ed.) |
| Autore | Schindler Ralf |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Frankfurt ; ; New Brunswick, : Ontos Verlag, 2010 |
| Descrizione fisica | 1 online resource (495 p.) |
| Disciplina | 511.3 |
| Collana |
Ontos Mathematical Logic
Ontos mathematical logic |
| Soggetto topico | Proof theory |
| ISBN |
3-86838-087-6
3-11-032490-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Wolfram Pohlers-Life and Work / Diller, Justus -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 / Feferman, Solomon -- A New Approach to Predicative Set Theory / Avron, Arnon -- Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations / Beckmann, Arnold / Buss, Samuel R. -- On Topological Models of GLP / Beklemishev, Lev / Bezhanishvili, Guram / Icard, Thomas -- Program Extraction via Typed Realisability for Induction and Coinduction / Berger, Ulrich / Seisenberger, Monika -- Another Reduction of Classical IDν to Constructive IDiν / Buchholz, Wilfried -- Elementary Constructive Operational Set Theory / Cantini, Andrea / Crosilla, Laura -- Functional Interpretations of Classical Systems / Diller, Justus -- Towards a Formal Theory of Computability / Huber, Simon / Karádais, Basil A. / Schwichtenberg, Helmut -- Σ11 Choice in a Theory of Sets and Classes / Jäger, Gerhard / Krähenbühl, Jürg -- An Extended Predicative Definition of the Mahlo Universe / Kahle, Reinhard / Setzer, Anton -- ITTMs with Feedback / Lubarsky, Robert S. -- Logspace without Bounds / Oitavem, Isabel -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I / Rathjen, Michael -- Weak Theories of Operations and Types / Strahm, Thomas -- Computing Bounds from Arithmetical Proofs / Wainer, Stanley S. -- Backmatter |
| Record Nr. | UNINA-9910956491803321 |
|
Schindler Ralf
|
||
| Frankfurt ; ; New Brunswick, : Ontos Verlag, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||