Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Search

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

Fodor's lemma · Vinony

🌐English

English Deutsch Français Polski Português 日本語

EntityQ1119050· pop 7· linked from 7 articles

Fodor's lemma

lemma

Connections

semantic theory of truth

mathematical logic

Categories

Lemmas in set theory

Sources

wikipedia.externallinksexternallink

first-order logic

Entity

uncountable set

semantics of logic

ground expression

Bertrand Russell

International Standard Book Number

John von Neumann

Sign in to save

What links here7 pages

Diagonal intersection

Similar entities

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

Entitydist 0.47

Entitydist 0.54

Perron–Frobenius theorem

Entitydist 0.56

Knaster–Kuratowski–Mazurkiewicz lemma

Entitydist 0.56

Lebesgue's decomposition theorem

Entitydist 0.58

Lefschetz fixed-point theorem

Entitydist 0.59

Mittag-Leffler's theorem

Entitydist 0.61

Entitydist 0.62

Kutta–Joukowski theorem

Entitydist 0.62

Poincaré lemma

Entitydist 0.63

Runge's theorem

Entitydist 0.63

Entitydist 0.63