type
Sign in to saveAlso known as omitting types
term in model theory and related areas of mathematics
Connections
semantic theory of truth
Entity
mathematical logic
Entity
isomorphism
Entity
first-order logic
Entity
Peano axioms
Entity
formal system
Entity
recursive set
Entity
Boolean algebra
Entity
semantics of logic
Entity
elementary equivalence
Entity
free and bound variables
Entity
structure
Entity
theory
Entity
complete theory
Entity
diagram
Entity
ground expression
Entity
mathematics
Entity
logic
Entity
International Standard Book Number
Entity
set theory
Entity