Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

descriptive complexity theory · Vinony

🌐English

English Deutsch Français 中文日本語

EntityQ1200755· pop 5· linked from 43 articles

descriptive complexity theory

branch of mathematical logic

Available in 5 languages

Français
Deutsch
日本語
zh_yue

via Wikidata sitelinks · CC0

Connections

polynomial hierarchy

Categories

Computational complexity theory Descriptive complexity Finite model theory

Sources

wikipedia.externallinksexternallink

transitive closure

Entity

second-order logic

International Standard Book Number

digital object identifier

International Standard Serial Number

formal language

computational complexity theory

first-order logic

universal quantification

Sign in to save

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

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