Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

definable set · Vinony

EntityQ2895824· pop 6· linked from 23 articles

definable set

Sign in to save

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

Connections

elementary equivalence

mathematical logic

computability theory

first-order logic

well-formed formula

second-order logic

descriptive set theory

free and bound variables

arithmetical hierarchy

Categories

Logic Mathematical logic Model theory

Sources

wikipedia.externallinksexternallink

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