Concepedia

Foundation Axiom

The Foundation Axiom is the axiom in axiomatic set theory, specifically within the Zermelo–Fraenkel system, that asserts every non-empty set contains an element disjoint from itself, thereby prohibiting infinite descending membership chains and ensuring the well-foundedness of the set-theoretic universe.

13

Publications

392

Citations

19

Authors

19

Institutions

Publications per year

2017–2026

1

Variants

Axiom Of FoundationAxiom Of Regularity

Parents

Publications

13

An argument for Finsler-Aczel set theory

Alexandra Rieger · Mind · 2000 · 77 citations

, , +8

What is the theory without power set?

Victoria Gitman, Joel David Hamkins, Thomas A. Johnstone · Mathematical logic quarterly · 2016 · 61 citations

, , +10

The consistency problem for positive comprehension principles

Mauro Forti, Roland Hinnion · Journal of Symbolic Logic · 1989 · 39 citations

, , +9

Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice

Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio et al. · Archive for Mathematical Logic · 2018 · 34 citations · Full text

, , +8

From Foundations to Ludics

Jean-Yves Girard · Bulletin of Symbolic Logic · 2003 · 31 citations

, , +11

1–5 of 13

Authors

19

  1. RH
    Roland Hinnion

    Université Libre de Bruxelles, Belgium

    2 publications · 65 citations

    2

    h-index

  2. FP
    Franco Parlamento

    University of Udine, Italy

    2 publications · 50 citations

    2

    h-index

  3. VG
    Victoria Gitman

    The Graduate Center, CUNY, United States

    2 publications · 75 citations

    2

    h-index

  4. AP
    Alberto Policriti

    University of Udine, Italy

    2 publications · 50 citations

    2

    h-index

  5. MF
    Mauro Forti

    University of Siena, Italy

    2 publications · 65 citations

    2

    h-index

1–5 of 19

Institutions

19

  1. University of Cagliari

    Cagliari, Italy

    2 h-index

    2 publications

    65 citations

  2. Université Libre de Bruxelles

    Brussels, Belgium

    2 h-index

    2 publications

    65 citations

  3. The Graduate Center, CUNY

    New York, United States

    2 h-index

    4 publications

    150 citations

  4. City University of New York

    New York, United States

    2 h-index

    4 publications

    150 citations

  5. New York University

    New York, United States

    2 h-index

    2 publications

    75 citations

  6. University of Udine

    Udine, Italy

    2 h-index

    4 publications

    100 citations

  7. New York City College of Technology

    Brooklyn, United States

    2 h-index

    2 publications

    75 citations

  8. Japan Advanced Institute of Science and Technology

    Nomi Shi, Japan

    1 h-index

    1 publications

    34 citations

1–8 of 19

Venues

  1. Notre Dame Journal of Formal Logic

    3 publications · 46 citations

    3

    h-index

  2. Journal of Symbolic Logic

    3 publications · 92 citations

    3

    h-index

  3. Archive for Mathematical Logic

    1 publications · 34 citations

    1

    h-index

  4. 1

    h-index

  5. Mind

    1 publications · 77 citations

    1

    h-index

1–5