Contextualizebeta

Lévy hierarchy

name

Etymology

Introduced by Azriel Lévy in 1965.

Definitions

  1. A hierarchy of formulas in the formal language of the Zermelo-Fraenkel set theory. Its…

    A hierarchy of formulas in the formal language of the Zermelo-Fraenkel set theory. Its first level contains only formulas with no unbounded quantifiers and is denoted by Δ₀=Σ₀=Π₀. Subsequent levels are given by finding a formula in prenex normal form which is provably equivalent over ZFC, and counting the number of changes of quantifiers.

The neighborhood

Vish — recursive loop

No curated loop yet for Lévy hierarchy. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA