diagram
given 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
Press Enter · cited answer in seconds
0 sources
diagram
Summary
diagram ranks in the top 2% of general entities by monthly Wikipedia readership (15 views/month).[1]
Key Facts
- diagram is credited with the discovery of Anatoly Maltsev[2].
- diagram is credited with the discovery of Abraham Robinson[3].
- diagram's subclass of is recorded as set[4].
- diagram's subclass of is recorded as set[5].
- diagram's part of is recorded as model theory[6].
- diagram's Google Knowledge Graph ID is recorded as /g/11g_rlkvfk[7].
Body
Works and Contributions
Credited discoveries include Anatoly Maltsev[2], a mathematician[8], 1909–1967[9], of Soviet Union[10], awarded the Stalin Prize, 2nd degree[11], specialised in model theory[12] and Abraham Robinson[3], a mathematician[13], 1918–1974[14], of United States[15], awarded the Brouwer Medal[16], specialised in mathematical logic[17].
Why It Matters
diagram ranks in the top 2% of general entities by monthly Wikipedia readership (15 views/month).[1]