elementary equivalence
Sign in to saveConcept in model theory
Connections
first-order logic
Entity
semantic theory of truth
Entity
mathematical logic
Entity
Peano axioms
Entity
formal system
Entity
recursive set
Entity
large cardinal
Entity
semantics of logic
Entity
signature
Entity
structure
Entity
diagram
Entity
ground expression
Entity
logic
Entity
International Standard Book Number
Entity
set theory
Entity
function
Entity
real number
Entity
rational number
Entity
set
Entity
axiom
Entity