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.

definable set · Vinony

🌐English

English Français Português Tiếng Việt 한국어 日本語

EntityQ2895824· pop 6· linked from 23 articles

definable set

n-ary relation on the domain of a structure whose elements satisfy some formula in the

Available in 6 languages

Français
日本語
Português
Hebrew
한국어

via Wikidata sitelinks · CC0

Connections

elementary equivalence

Categories

Logic Mathematical logic Model theory

Sources

wikipedia.externallinksexternallink

integer

Entity

mathematical logic

computability theory

first-order logic

well-formed formula

second-order logic

descriptive set theory

free and bound variables

arithmetical hierarchy

Sign in to save

What links here23 pages

computability theory

integer sequence

axiom of choice

halting problem

arithmetical hierarchy

Von Neumann–Bernays–Gödel set theory

Similar entities

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

definable real number

Entitydist 0.41

arithmetical hierarchy

Entitydist 0.45

recursive definition

Entitydist 0.49

axiom schema of replacement

Entitydist 0.50

Armstrong's axioms

Entitydist 0.54

Entitydist 0.55

Entitydist 0.56

functional dependency

Entitydist 0.56

irreflexive relation

Entitydist 0.57

Entitydist 0.57

ternary relation

Entitydist 0.58

Entitydist 0.58