Triple
T20851740
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Feferman–Schütte ordinal |
E513379
|
entity |
| Predicate | definedUsing |
P4791
|
FINISHED |
| Object | Veblen hierarchy |
—
|
NE NERFINISHED |
How this triple was built (2 steps)
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.
NER
Named-entity recognition
gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Veblen hierarchy | Statement: [Feferman–Schütte ordinal, definedUsing, Veblen hierarchy]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Veblen hierarchy Context triple: [Feferman–Schütte ordinal, definedUsing, Veblen hierarchy]
-
A.
Veblen hierarchy
chosen
The Veblen hierarchy is a transfinite sequence of ordinal functions used in mathematical logic and set theory to systematically generate and classify very large countable ordinals.
-
B.
Veblen
Veblen is a surname most notably associated with influential American mathematician Oswald Veblen and economist Thorstein Veblen.
-
C.
Hicks–Kaldor compensation criterion
The Hicks–Kaldor compensation criterion is an economic efficiency test stating that a policy change is desirable if those who gain could in principle compensate those who lose and still be better off, regardless of whether compensation actually occurs.
-
D.
Modigliani–Brumberg model
The Modigliani–Brumberg model is an economic life-cycle theory explaining how individuals plan consumption and saving over their lifetimes to smooth living standards despite changing income.
-
E.
Bergson–Samuelson social welfare function
The Bergson–Samuelson social welfare function is a formal tool in welfare economics that aggregates individual utilities into a single measure of social welfare to evaluate and compare economic states or policies.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (2 batches)
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_69e0b4f4898081908209e58edb8f9c45 |
completed | April 16, 2026, 10:07 a.m. |
| NER | Named-entity recognition | batch_69e6c3a3d8808190b8efce77ae36850e |
completed | April 21, 2026, 12:24 a.m. |
Created at: April 16, 2026, 12:43 p.m.