Constructive set theory

Results: 37



#Item
1Constructive Mathematics in Constructive Set Theory Nicola Gambino University of Palermo MALOA Worskhop

Constructive Mathematics in Constructive Set Theory Nicola Gambino University of Palermo MALOA Worskhop

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2013-05-09 12:23:04
    2Kripke models for subtheories of CZF Rosalie Iemhoff∗ Abstract In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical

    Kripke models for subtheories of CZF Rosalie Iemhoff∗ Abstract In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical

    Add to Reading List

    Source URL: www.phil.uu.nl

    - Date: 2009-06-05 05:28:48
      3Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

      Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

      Add to Reading List

      Source URL: events.cs.bham.ac.uk

      Language: English - Date: 2012-04-25 09:32:10
      4Generalized Inductive Definitions in Constructive Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

      Generalized Inductive Definitions in Constructive Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

      Add to Reading List

      Source URL: www1.maths.leeds.ac.uk

      Language: English - Date: 2012-10-11 14:55:46
        5The Formulae-as-Classes Interpretation of Constructive Set Theory Michael RATHJEN∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, England Department of Mathematics, Ohio State University

        The Formulae-as-Classes Interpretation of Constructive Set Theory Michael RATHJEN∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, England Department of Mathematics, Ohio State University

        Add to Reading List

        Source URL: www1.maths.leeds.ac.uk

        Language: English - Date: 2012-10-11 14:50:32
          6Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

          Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

          Add to Reading List

          Source URL: www1.maths.leeds.ac.uk

          Language: English
            7The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

            The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A.

            Add to Reading List

            Source URL: www1.maths.leeds.ac.uk

            Language: English - Date: 2012-10-11 14:59:30
              8Mathematical Logic Quarterly, 23 OctoberThe Natural Numbers in Constructive Set Theory Michael Rathjen1, ∗ 1

              Mathematical Logic Quarterly, 23 OctoberThe Natural Numbers in Constructive Set Theory Michael Rathjen1, ∗ 1

              Add to Reading List

              Source URL: www1.maths.leeds.ac.uk

              Language: English - Date: 2012-10-11 09:21:50
                9A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and

                A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and

                Add to Reading List

                Source URL: www1.maths.leeds.ac.uk

                Language: English - Date: 2011-07-09 07:15:02
                  10Chapter 15 Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions Michael Rathjen

                  Chapter 15 Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions Michael Rathjen

                  Add to Reading List

                  Source URL: www1.maths.leeds.ac.uk

                  Language: English - Date: 2012-08-30 05:01:48