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 (0)

There are currently no matching articles.