Scott–Potter set theory is a foundational framework in mathematics that extends traditional set theory, particularly Zermelo-Fraenkel set theory, by incorporating notions related to constructive mathematics and category theory. It was developed by mathematicians Dana Scott and Michael Potter to provide a more flexible way of dealing with sets, particularly in the context of type theory and domain theory.
Articles by others on the same topic
There are currently no matching articles.