Constructive Set Theory - Myhill's Constructive Set Theory

Myhill's Constructive Set Theory

The subject was begun by John Myhill to provide a formal foundation for Errett Bishop's program of constructive mathematics. As he presented it, Myhill's system CST is a constructive first-order logic with three sorts: natural numbers, functions, and sets. The system is:

  • Constructive first-order predicate logic with identity, and basic axioms related to the three sorts.
  • The usual Peano axioms for natural numbers.
  • The usual axiom of extensionality for sets, as well as one for functions, and the usual axiom of union.
  • A form of the axiom of infinity asserting that the collection of natural numbers (for which he introduces a constant N) is in fact a set.
  • Axioms asserting that the domain and range of a function are both sets. Additionally, an axiom of non-choice asserts the existence of a choice function in cases where the choice is already made. Together these act like the usual replacement axiom in classical set theory.
  • The axiom of exponentiation, asserting that for any two sets, there is a third set which contains all (and only) the functions whose domain is the first set, and whose range is the second set. This is a greatly weakened form of the axiom of power set in classical set theory, to which Myhill, among others, objected on the grounds of its impredicativity.
  • The axiom of restricted, or predicative, separation, which is a weakened form of the separation axiom in classical set theory, requiring that any quantifications be bounded to another set.
  • An axiom of dependent choice, which is much weaker than the usual axiom of choice.

Read more about this topic:  Constructive Set Theory

Famous quotes containing the words constructive, set and/or theory:

    The desert is a natural extension of the inner silence of the body. If humanity’s language, technology, and buildings are an extension of its constructive faculties, the desert alone is an extension of its capacity for absence, the ideal schema of humanity’s disappearance.
    Jean Baudrillard (b. 1929)

    But beauty is set apart,
    beauty is cast by the sea,
    a barren rock,
    beauty is set about
    with wrecks of ships....
    Hilda Doolittle (1886–1961)

    By the “mud-sill” theory it is assumed that labor and education are incompatible; and any practical combination of them impossible. According to that theory, a blind horse upon a tread-mill, is a perfect illustration of what a laborer should be—all the better for being blind, that he could not tread out of place, or kick understandingly.... Free labor insists on universal education.
    Abraham Lincoln (1809–1865)