Constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first-order language of classical set theory, and although of course the logic is constructive, there is no explicit use of constructive types. Rather, there are just sets, thus it can look very much like classical mathematics done on the most common foundations, namely the Zermelo–Fraenkel axioms (ZFC).
Read more about Constructive Set Theory: Intuitionistic Zermelo–Fraenkel, Myhill's Constructive Set Theory, Aczel's Constructive Zermelo–Fraenkel, Interpretability in Type Theory, Interpretability in Category Theory
Famous quotes containing the words constructive, set and/or theory:
“The measure discriminates definitely against products which make up what has been universally considered a program of safe farming. The bill upholds as ideals of American farming the men who grow cotton, corn, rice, swine, tobacco, or wheat and nothing else. These are to be given special favors at the expense of the farmer who has toiled for years to build up a constructive farming enterprise to include a variety of crops and livestock.”
—Calvin Coolidge (1872–1933)
“Surely, ‘tis one step towards acting well, to think worthily of our nature; and as in common life, the way to make a man honest, is, to suppose him so ... so here, to set some value upon ourselves, enables us to support the character ... of generosity and virtue.”
—Laurence Sterne (1713–1768)
“... liberal intellectuals ... tend to have a classical theory of politics, in which the state has a monopoly of power; hoping that those in positions of authority may prove to be enlightened men, wielding power justly, they are natural, if cautious, allies of the “establishment.””
—Susan Sontag (b. 1933)