Triple
T11961961
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Brownian filtration |
E284689
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | increasing family of sigma-algebras |
C11644
|
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: increasing family of sigma-algebras Context triple: [Brownian filtration, instanceOf, increasing family of sigma-algebras]
-
A.
filtered algebra
A filtered algebra is an algebra equipped with an ascending sequence of subspaces (a filtration) whose union is the whole algebra and such that the product of elements from given filtration levels lies in the corresponding summed level.
-
B.
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.
-
C.
semigroup of operators
A semigroup of operators is a family of linear operators on a space, indexed by a semigroup (often time), such that the composition of operators matches the semigroup operation and typically includes an identity at the neutral element.
-
D.
measure-theoretic construction
chosen
A measure-theoretic construction is a rigorous method of building mathematical objects—such as measures, integrals, or probability spaces—by specifying σ-algebras, set functions, and limiting processes that satisfy the axioms of measure theory.
-
E.
recursively defined sequence
A recursively defined sequence is a sequence of numbers or objects in which each term is specified in terms of one or more preceding terms together with one or more initial values.
- 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_69d6ab2eaeb881909f7914758f859413 |
completed | April 8, 2026, 7:23 p.m. |
Created at: April 8, 2026, 9:45 p.m.