diagram
Sign in to savegiven a model of a theory over a 1st-order language, the set of atomic sententences and negations thereof of that hold in the model, when the language is extended with constant symbols for each element in the domain in the model
In the Vinony graph
Within Vinony's link graph, diagram is referenced by 307 other articles, and connects out to first-order logic, structure and semantic theory of truth.
It sits within the topics Mathematical logic and Model theory.
Its subject is documented across 5 Wikipedia language editions.
Wikidata facts
- Subclass of
- set
- Part of
- model theory
Show 1 more fact
- discoverer or inventor
- Abraham Robinson
via Wikidata · CC0
Connections
first-order logic
Entity
structure
Entity
semantic theory of truth
Entity
mathematical logic
Entity
formal system
Entity
recursive set
Entity
semantics of logic
Entity
ground expression
Entity
logic
Entity
International Standard Book Number
Entity
set theory
Entity
function
Entity
set
Entity
axiom
Entity
theorem
Entity
Elements
Entity
variable
Entity
Euclidean geometry
Entity
argument
Entity
information theory
Entity