Triple
T20836730
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Saharon Shelah |
E512976
|
entity |
| Predicate | hasPublication |
P80
|
FINISHED |
| Object | Proper and Improper Forcing |
—
|
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: Proper and Improper Forcing | Statement: [Saharon Shelah, hasPublication, Proper and Improper Forcing]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Proper and Improper Forcing Context triple: [Saharon Shelah, hasPublication, Proper and Improper Forcing]
-
A.
Boolean-valued models of set theory
Boolean-valued models of set theory are generalized models in which each statement is assigned a truth value from a complete Boolean algebra, providing a powerful framework for analyzing independence results and constructing alternative set-theoretic universes.
-
B.
forcing (set theory)
chosen
Forcing (set theory) is a powerful technique in mathematical logic, introduced by Paul Cohen, used to construct models of set theory and prove the independence of certain propositions from Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC).
-
C.
Cardinal Invariants on Boolean Algebras
"Cardinal Invariants on Boolean Algebras" is a research monograph by set theorist J. Donald Monk that systematically studies cardinal characteristics associated with Boolean algebras and their connections to set theory and logic.
-
D.
Fraenkel–Mostowski permutation models
Fraenkel–Mostowski permutation models are set-theoretic constructions using permutations of atoms to demonstrate the independence of certain choice principles from Zermelo–Fraenkel set theory.
-
E.
Skolem hulls
Skolem hulls are the smallest substructures of a model that contain a given set of elements and are closed under all definable Skolem functions, playing a key role in constructing countable elementary submodels in model theory.
- 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_69e0b4cf62a88190bbf92351e9e57259 |
completed | April 16, 2026, 10:07 a.m. |
| NER | Named-entity recognition | batch_69e6c326daec8190bd4caa41a4b38833 |
completed | April 21, 2026, 12:21 a.m. |
Created at: April 16, 2026, 12:42 p.m.