Triple
T24714267
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Kleene hierarchy |
E601581
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | hierarchy of definability |
C33680
|
CONCEPT FINISHED |
How this triple was built (1 step)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: hierarchy of definability Context triple: [Kleene hierarchy, instanceOf, hierarchy of definability]
-
A.
cumulative hierarchy
The cumulative hierarchy is a conceptual model of the set-theoretic universe built in transfinite stages, where each level consists of all sets that can be formed from the sets at earlier levels.
-
B.
hierarchy of formal grammars
A hierarchy of formal grammars is an organized classification of grammars into levels based on their generative power and structural constraints, such as the Chomsky hierarchy from regular to recursively enumerable languages.
-
C.
result in stability theory
A result in stability theory is a formal theorem or proposition that characterizes when and how solutions of a system (often differential or dynamical) remain bounded, converge, or behave predictably under small perturbations or over time.
-
D.
well-founded ordering
A well-founded ordering is a strict partial order with no infinite descending chains, ensuring every nonempty subset has a minimal element.
-
E.
result in model theory
chosen
In model theory, a result is a formally proven statement—such as a theorem, lemma, or corollary—about structures, theories, or definable sets that follows from the axioms and logical rules of the framework.
- F. None of above.
Provenance (1 batch)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69e2d7d6e7a48190bb43b0d8bb1137a0 |
completed | April 18, 2026, 1:01 a.m. |
Created at: April 18, 2026, 3:33 a.m.