at most denumerable set
21Regular cardinal — In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality. So, crudely speaking, a regular cardinal is one which cannot be broken into a smaller collection of smaller parts.(The situation is slightly more… …
22Axiom of countable choice — The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory, similar to the axiom of choice. It states that any countable collection of non empty sets must have a choice function. Spelled out, this means… …
23Saul Kripke — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE name = Saul Kripke birth = birth date and age|1940|11|13 death = school tradition = Analytic main interests = Logic (particularly modal) Philosophy of… …
24Vaught conjecture — The Vaught conjecture is a conjecture in the mathematical field of model theory originally proposed by Robert Lawson Vaught in 1961. It concerns the possible numbers of countable models of a first order complete theory. While some special cases… …
25Quantity — is a kind of property which exists as magnitude or multitude. It is among the basic classes of things along with quality, substance, change, and relation. Quantity was first introduced as quantum, an entity having quantity. Being a fundamental… …
26Fixed point (mathematics) — Not to be confused with a stationary point where f (x) = 0. A function with three fixed points In mathematics, a fixed point (sometimes shortened to fixpoint, also known as an invariant point) of a function is a point[1] that is …
27Description number — Description numbers are numbers that arise in the theory of Turing machines. They are very similar to Gödel numbers, and are also occasionally called Gödel numbers in the literature. Given some universal Turing machine, every Turing machine can,… …
28axiomatic — by Alberto Toscano A term used to define the operation of contemporary capitalism within the universal history and general semiology proposed by Deleuze and Guattari in A Thousand Plateaus. Originating in the discourse of science and… …
29axiomatic — by Alberto Toscano A term used to define the operation of contemporary capitalism within the universal history and general semiology proposed by Deleuze and Guattari in A Thousand Plateaus. Originating in the discourse of science and… …
