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.

Rosser's trick · Vinony

Home
Mathematical logic
Rosser's trick

🌐English

English Français Português Svenska 日本語

EntityQ7369799· pop 5· linked from 8 articles

Rosser's trick

method in mathematical logic

Available in 5 languages

Français
日本語
Português
Svenska

via Wikidata sitelinks · CC0

Connections

International Standard Book Number

Categories

Mathematical logic

Sources

wikipedia.externallinksexternallink

digital object identifier

Entity

mathematical logic

Gödel's incompleteness theorems

first-order logic

elementary arithmetic

Rosser's theorem

J. Barkley Rosser

Journal of Symbolic Logic

Sign in to save

What links here8 pages

J. Barkley Rosser

Sterling Hall bombing

Gödel's incompleteness theorems

Rosser's theorem

Similar entities

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

Kenneth A. Ross

Entitydist 0.49

Herbrand's theorem

Entitydist 0.50

Entitydist 0.54

Entitydist 0.55

Entitydist 0.55

José Bonet Solves

Entitydist 0.56

combinatorial principle

Entitydist 0.58

Aristotelian logic

Entitydist 0.58

Entitydist 0.58

Entitydist 0.59

Entitydist 0.59

Richard Jeffrey

Entitydist 0.59