Showing 1 - 20 results of 44 for search '"axiom of choice"', query time: 0.25s Refine Results
  1. 1

    On the axiom of choice by سید محمد امین خاتمی

    Published 2022-11-01
    Subjects: “…axiom of choice (ac)…”
    Get full text
    Article
  2. 2
  3. 3
  4. 4

    A program for the full axiom of choice by Jean-Louis Krivine

    Published 2021-09-01
    “…But, almost all the applications of mathematics in physics, probability, statistics, etc. use Analysis i.e. the axiom of dependent choice (DC) or even the (full) axiom of choice (AC). It is therefore important to find explicit programs for these axioms. …”
    Get full text
    Article
  5. 5
  6. 6
  7. 7

    Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice by Maria Emilia Maietti, Samuele Maschio, Michael Rathjen

    Published 2022-11-01
    “…In previous work we have shown that mTTind is consistent with Formal Church's Thesis CT and the Axiom of Choice AC via an interpretation in Aczel's CZF+REA. …”
    Get full text
    Article
  8. 8
  9. 9
  10. 10

    A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice by Maria Emilia Maietti, Samuele Maschio, Michael Rathjen

    Published 2021-05-01
    “…We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's thesis and axiom of choice. This semantics is an extension of the one used to show consistency of the intensional level of the Minimalist Foundation with the axiom of choice and formal Church's thesis in previous work. …”
    Get full text
    Article
  11. 11
  12. 12
  13. 13

    Blurry Definability by Gunter Fuchs

    Published 2022-01-01
    Subjects:
    Get full text
    Article
  14. 14
  15. 15
  16. 16
  17. 17

    Aksjomat wyboru w pracach Wacława Sierpińskiego by Katarzyna Lewandowska

    Published 2013-06-01
    Subjects: “…axiom of choice…”
    Get full text
    Article
  18. 18
  19. 19
  20. 20