- Adequate pointclass
In the mathematical field of
descriptive set theory , apointclass can be called adequate if it contains all recursive pointsets and is closed under recursive substitution, ∃≤ and ∀≤.
Wikimedia Foundation. 2010.
Adequate pointclass
Look at other dictionaries:
Prewellordering — In set theory, a prewellordering is a binary relation that is transitive, wellfounded, and total. In other words, if leq is a prewellordering on a set X, and if we define sim by:xsim yiff xleq y land yleq xthen sim is an equivalence relation on X … Wikipedia
Determinacy — Determined redirects here. For the 2005 heavy metal song, see Determined (song). For other uses, see Indeterminacy (disambiguation). In set theory, a branch of mathematics, determinacy is the study of under what circumstances one or the other… … Wikipedia
Uniformization (set theory) — In set theory, the axiom of uniformization, a weak form of the axiom of choice, states that if R is a subset of X imes Y, where X and Y are Polish spaces,then there is a subset f of R that is a partial function from X to Y, and whose domain (in… … Wikipedia
List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A … Wikipedia
Property of Baire — A subset A of a topological space X has the property of Baire (Baire property) if it differs from an open set by a meager set; that is, if there is an open: Usubseteq Xsuch that: ADelta Uis meager (here, Delta; denotes the symmetric… … Wikipedia
