Inductive set
In descriptive set theory, an inductive set of real numbers (or more generally, an inductive subset of a Polish space) is one that can be defined as the least fixed point of a monotone operation definable by a positive Σ1n formula, for some natural number n, together with a real parameter. The inductive sets form a boldface pointclass; that is, they are closed under continuous preimages. In the Wadge hierarchy, they lie above the projective sets and below the sets in L(R). Assuming sufficient determinacy, the class of inductive sets has the scale property and thus the prewellordering property.
Link from a Wikipage to another Wikipage
primaryTopic
Inductive set
In descriptive set theory, an inductive set of real numbers (or more generally, an inductive subset of a Polish space) is one that can be defined as the least fixed point of a monotone operation definable by a positive Σ1n formula, for some natural number n, together with a real parameter. The inductive sets form a boldface pointclass; that is, they are closed under continuous preimages. In the Wadge hierarchy, they lie above the projective sets and below the sets in L(R). Assuming sufficient determinacy, the class of inductive sets has the scale property and thus the prewellordering property.
has abstract
Conjunto inductivo es como se ...... «1 + k» elemento del conjunto.
@es
In de wiskunde is een inductie ...... an een inductieve verzameling.
@nl
In descriptive set theory, an ...... he assumption of Zorn's lemma.
@en
In logica matematica, e più pr ...... contiene anche come elementi.
@it
Zbiór induktywny – rodzina zbi ...... ze zbiorem liczb naturalnych.
@pl
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,024,105,311
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
Conjunto inductivo es como se ...... «1 + k» elemento del conjunto.
@es
In de wiskunde is een inductie ...... an een inductieve verzameling.
@nl
In descriptive set theory, an ...... the prewellordering property.
@en
In logica matematica, e più pr ...... contiene anche come elementi.
@it
Zbiór induktywny – rodzina zbi ...... ze zbiorem liczb naturalnych.
@pl
label
Conjunto inductivo
@es
Inductieve verzameling
@nl
Inductive set
@en
Induktive Menge
@de
Insieme induttivo (logica)
@it
Zbiór induktywny
@pl