Adequate pointclass

Adequate pointclass

In the mathematical field of descriptive set theory, a pointclass can be called adequate if it contains all recursive pointsets and is closed under recursive substitution, ∃≤ and ∀≤.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”