Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Lévy_hierarchy> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Lévy_hierarchy abstract "In set theory and mathematical logic, the Lévy hierarchy, introduced by Azriel Lévy in 1965, is a hierarchy of formulas in the formal language of the Zermelo–Fraenkel set theory, which is typically called just the language of set theory (LST). This is analogous to the arithmetical hierarchy which provides the classifications but for sentences of the language of arithmetic. In LST, atomic formulas are of the form x = y or x ∈ y, standing for equality and respectively set membership predicates. (It is possible to even define equality within ZF by slightly different formulation of one of the axioms, although that issue has no impact on the topic of this article.)The first level of the Levy hierarchy is defined as containing only formulas in which all quantifiers are bounded, meaning only of the form and . This level of the Levy hierarchy is denoted by any and all of Δ0, Σ0, Π0. Then Σn+1 is defined as".
- Lévy_hierarchy wikiPageID "25129404".
- Lévy_hierarchy wikiPageRevisionID "594935874".
- Lévy_hierarchy subject Category:Mathematical_logic.
- Lévy_hierarchy subject Category:Set_theory.
- Lévy_hierarchy comment "In set theory and mathematical logic, the Lévy hierarchy, introduced by Azriel Lévy in 1965, is a hierarchy of formulas in the formal language of the Zermelo–Fraenkel set theory, which is typically called just the language of set theory (LST). This is analogous to the arithmetical hierarchy which provides the classifications but for sentences of the language of arithmetic. In LST, atomic formulas are of the form x = y or x ∈ y, standing for equality and respectively set membership predicates.".
- Lévy_hierarchy label "Levy-Hierarchie".
- Lévy_hierarchy label "Lévy hierarchy".
- Lévy_hierarchy sameAs L%C3%A9vy_hierarchy.
- Lévy_hierarchy sameAs Levy-Hierarchie.
- Lévy_hierarchy sameAs Q6711217.
- Lévy_hierarchy sameAs Q6711217.
- Lévy_hierarchy wasDerivedFrom Lévy_hierarchy?oldid=594935874.