Constructible set (topology) — For a Gödel constructive set, see constructible universe. In topology, a constructible set in a noetherian topological space is a finite union of locally closed sets. (A set is locally closed if it is the intersection of an open set and closed… … Wikipedia
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
Constructible topology — In commutative algebra, the constructible topology on the spectrum of a commutative ring A is a topology where each closed set is the image of in for some algebra B over A. An important feature of this construction is that the map … Wikipedia
Constructible number — For numbers constructible in the sense of set theory, see Constructible universe. A point in the Euclidean plane is a constructible point if, given a fixed coordinate system (or a fixed line segment of unit length), the point can be constructed… … Wikipedia
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
Pirates Constructible Strategy Game — Infobox Game subject name=Pirates Constructible Strategy Game image link= image caption=Pirates of the Cursed Seas is a tabletop strategy game depicting naval battles and hunt for treasure in the Caribbean in the 17th century. players= 2 ndash;?… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
Minimal model (set theory) — In set theory, a minimal model is a minimal standard model of ZFC. Minimal models were introduced by (Shepherdson 1951, 1952, 1953). The existence of a minimal model cannot be proved in ZFC, even assuming that ZFC is consistent, but follows… … Wikipedia
Kripke–Platek set theory — The Kripke–Platek axioms of set theory (KP) (IPAEng|ˈkrɪpki ˈplɑːtɛk) are a system of axioms of axiomatic set theory, developed by Saul Kripke and Richard Platek. The axiom system is written in first order logic; it has an infinite number of… … Wikipedia
Countable set — Countable redirects here. For the linguistic concept, see Count noun. Not to be confused with (recursively) enumerable sets. In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of… … Wikipedia
