Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

arithmetical hierarchy · Vinony

EntityQ669094· pop 12· linked from 163 articles

arithmetical hierarchy

Sign in to save

hierarchy which classifies certain sets based on the complexity of formulas that define them

Connections

recursively enumerable set

Turing reduction

International Standard Book Number

digital object identifier

mathematical logic

Cartesian product

topological space

equivalence relation

Categories

Complexity classes Computability theory Effective descriptive set theory Hierarchy Mathematical logic hierarchies

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.45

recursive definition

Entitydist 0.47

Heyting arithmetic

Entitydist 0.49

Entitydist 0.51

Entitydist 0.52

hierarchy of administrative territorial entities

Entitydist 0.53

Entitydist 0.53

Entitydist 0.53

Entitydist 0.54

Entitydist 0.54

second-order logic

Entitydist 0.54

Entitydist 0.54

What links here163 pages

computability theory

Stephen Cole Kleene

polynomial hierarchy

Andrzej Mostowski

Arthur–Merlin protocol

Chaitin's constant

probabilistically checkable proof

hypercomputation

regular language

Conservative extension

Heyting arithmetic

P versus NP problem