Moerdijk

Results: 82



#Item
1Onderzoek naar de luchtkwaliteit aan de Julianastraat te Moerdijk, Kerkweg te Klundert en Atletiekbaan De D Knip te Zevenbergen. bergen. Rapport, 10 april 2014

Onderzoek naar de luchtkwaliteit aan de Julianastraat te Moerdijk, Kerkweg te Klundert en Atletiekbaan De D Knip te Zevenbergen. bergen. Rapport, 10 april 2014

Add to Reading List

Source URL: s3.eu-central-1.amazonaws.com

Language: Dutch - Date: 2018-04-17 03:48:35
    2Moritz Groth Curriculum Vitae Education and Positions 2014–2015 Postdoc, Max Planck Institute for Mathematics, Bonn, Germany. 2011–2014 Postdoc of Prof. Moerdijk, Radboud Universiteit, Nijmegen, Netherlands.

    Moritz Groth Curriculum Vitae Education and Positions 2014–2015 Postdoc, Max Planck Institute for Mathematics, Bonn, Germany. 2011–2014 Postdoc of Prof. Moerdijk, Radboud Universiteit, Nijmegen, Netherlands.

    Add to Reading List

    Source URL: www.math.ru.nl

    Language: English - Date: 2014-04-24 09:50:09
      3W-types in sheaves Benno van den Berg & Ieke Moerdijk September 25, 2008 Abstract In this small note we give a concrete description of W-types in categories of sheaves.

      W-types in sheaves Benno van den Berg & Ieke Moerdijk September 25, 2008 Abstract In this small note we give a concrete description of W-types in categories of sheaves.

      Add to Reading List

      Source URL: www.phil.cmu.edu

      Language: English - Date: 2014-01-17 11:57:24
        4FIBER BUNDLES AND UNIVALENCE IEKE MOERDIJK This talk presents a proof of the fact that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference Mathematics: Algorithms and Proofs

        FIBER BUNDLES AND UNIVALENCE IEKE MOERDIJK This talk presents a proof of the fact that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference Mathematics: Algorithms and Proofs

        Add to Reading List

        Source URL: www.andrew.cmu.edu

        Language: English - Date: 2015-04-07 16:07:58
          5Aspects of Predicative Algebraic Set Theory III: Sheaves Benno van den Berg & Ieke Moerdijk 7 Dec,

          Aspects of Predicative Algebraic Set Theory III: Sheaves Benno van den Berg & Ieke Moerdijk 7 Dec,

          Add to Reading List

          Source URL: www.phil.cmu.edu

          Language: English - Date: 2014-01-17 11:57:24
            6Aspects of Predicative Algebraic Set Theory I: Exact Completion (DRAFT) Benno van den Berg & Ieke Moerdijk September 24,

            Aspects of Predicative Algebraic Set Theory I: Exact Completion (DRAFT) Benno van den Berg & Ieke Moerdijk September 24,

            Add to Reading List

            Source URL: staff.fnwi.uva.nl

            Language: English - Date: 2011-03-21 06:42:22
              7Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive

              Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive

              Add to Reading List

              Source URL: staff.fnwi.uva.nl

              Language: English - Date: 2011-11-16 08:30:32
                8Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday

                Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday

                Add to Reading List

                Source URL: staff.fnwi.uva.nl

                Language: English - Date: 2011-03-21 06:42:22
                  9A Unified Approach to Algebraic Set Theory Benno van den Berg ∗ Ieke Moerdijk†

                  A Unified Approach to Algebraic Set Theory Benno van den Berg ∗ Ieke Moerdijk†

                  Add to Reading List

                  Source URL: staff.fnwi.uva.nl

                  Language: English - Date: 2011-03-21 06:42:22
                    10Aspects of Predicative Algebraic Set Theory III: Sheaves Benno van den Berg∗ & Ieke Moerdijk† September 29, 2011 Abstract

                    Aspects of Predicative Algebraic Set Theory III: Sheaves Benno van den Berg∗ & Ieke Moerdijk† September 29, 2011 Abstract

                    Add to Reading List

                    Source URL: staff.fnwi.uva.nl

                    Language: English - Date: 2011-11-16 08:29:16