nLab
relational set theory
Redirected from "closed neighbourhoods".
Contents
Context
Foundations
foundations
The basis of it all
-
mathematical logic
-
deduction system, natural deduction, sequent calculus, lambda-calculus, judgment
-
type theory, simple type theory, dependent type theory
-
collection, object, type, term, set, element
-
equality, judgmental equality, typal equality
-
universe, size issues
-
higher-order logic
Set theory
Foundational axioms
Removing axioms
Contents
Idea
(…) based on Rel instead of Set (…)
References
Discussion in terms of meroi:
Created on October 8, 2021 at 05:40:55.
See the history of this page for a list of all contributions to it.