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.

reverse mathematics · Vinony

🌐English

English Deutsch Español Français Italiano Türkçe 中文日本語

EntityQ2005236· pop 8· linked from 369 articles

reverse mathematics

Also known as reverse math

Branch of mathematical logic

Available in 8 languages

Español
Français
Deutsch
中文
日本語
Italiano
Türkçe

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

Categories

Computability theory Mathematical logic Proof theory

Sources

wikipedia.externallinksexternallink

mathematical logic

Entity

computability theory

first-order logic

Zermelo–Fraenkel set theory

semantics of logic

ground expression

International Standard Book Number

mathematical analysis

Sign in to save

Similar entities

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

mathematical logic

Entitydist 0.36

Entitydist 0.43

Entitydist 0.45

Entitydist 0.46

square of opposition

Entitydist 0.46

finite model theory

Entitydist 0.47

Entitydist 0.47

Entitydist 0.47

linear temporal logic

Entitydist 0.47

Category:Mathematical logicians

Entitydist 0.48

lambda calculus

Entitydist 0.48

computation tree logic

Entitydist 0.48

What links here369 pages

Kruskal's tree theorem

foundations of mathematics

Brouwer fixed-point theorem

Ramsey's theorem

Gödel's completeness theorem

Jordan curve theorem

lambda calculus

axiomatic system

proof of impossibility

Cantor's paradox

three-valued logic

Mostowski collapse lemma

algebra of sets

superseded scientific theory

logical contradiction

continuum hypothesis

compactness theorem

Harvey Friedman