Triple

T3380882
Position Surface form Disambiguated ID Type / Status
Subject Tarski's undefinability theorem E71179 entity
Predicate relatedTo P37 FINISHED
Object Tarski–Mostowski–Robinson theorem
The Tarski–Mostowski–Robinson theorem is a fundamental result in model theory that characterizes when a class of structures is first-order axiomatizable, linking definability properties with closure under ultraproducts and isomorphisms.
 E353626 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69ad85a7f80c8190a05e43013f298942 elicitation completed
NER batch_69adb5e7c7f48190afb78c311b424c93 ner completed
NED1 batch_69b3344f9b448190aab1038ead60fa48 ned_source_triple completed
NED2 batch_69b338967c6c819090fe5f77bfa1978f ned_description completed
NEDg batch_69b338147cc0819095f00b28910e178a nedg completed
Created at: March 8, 2026, 3:14 p.m.