definable set
Sign in to saven-ary relation on the domain of a structure whose elements satisfy some formula in the
Connections
elementary equivalence
Entity
natural number
Entity
integer
Entity
real number
Entity
set
Entity
mathematical logic
Entity
empty set
Entity
subset
Entity
field
Entity
computability theory
Entity
first-order logic
Entity
automorphism
Entity
singleton
Entity
Walter Rudin
Entity
field of sets
Entity
well-formed formula
Entity
second-order logic
Entity
descriptive set theory
Entity
free and bound variables
Entity
arithmetical hierarchy
Entity