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.

descriptive complexity theory · Vinony

EntityQ1200755· pop 5· linked from 43 articles

descriptive complexity theory

Sign in to save

branch of mathematical logic

Connections

polynomial hierarchy

transitive closure

second-order logic

International Standard Book Number

digital object identifier

International Standard Serial Number

formal language

computational complexity theory

first-order logic

universal quantification

Categories

Computational complexity theory Descriptive complexity Finite model theory

Sources

wikipedia.externallinksexternallink

What links here43 pages

Immerman–Szelepcsényi theorem

finite model theory

mathematical logic

computational complexity theory

history of logic

Samson Abramsky

P versus NP problem

second-order logic

Kolmogorov complexity

Similar entities

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

Entitydist 0.36

Entitydist 0.38

Category:Theorems in computational complexity theory

Entitydist 0.40

Category:Computational complexity theory

Entitydist 0.42

computational complexity theory

Entitydist 0.42

Entitydist 0.44

No Silver Bullet

Entitydist 0.46

Entitydist 0.46

Entitydist 0.47

computability theory

Entitydist 0.48

computational hardness assumption

Entitydist 0.49

Entitydist 0.50