Invariance and Definability: two faces of logical constants
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
Precise silicone networks are difficult to prepare from multiple starting materials because of poor spatial control over crosslink location, competing side reactions, and incompatible catalysts among other reasons. We demonstrate that cure processes catalyzed by B(C<sub>6</sub> F<sub>5</sub> )<sub>3</sub> (the Piers-Rubinsztajn reaction) and platinum-catalyzed hydrosilylation are perfectly compatible, and can be used in either order. It is possible to perform three different, selective, sequential reactions in the same pot using H-terminated silicones as chain extenders in all cases to give explicit networks. Eugenol, a readily available aromatic compound, acts as a trifunctional crosslinker (HO, MeO, HC=CH<sub>2</sub> ), each functional group of which can be induced to undergo selective reaction. With platinum catalysis, the reaction of SiH groups with alkenes is fastest, while B(C<sub>6</sub> F<sub>5</sub> )<sub>3</sub> catalyzes reaction at phenols much faster than methoxybenzene. Thus, a variety of H-terminated telechelic siloxanes can be used to form chain extended polymers or elastomers or foams in which the morphology of the material and its constituent parts can be manipulated at will.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.001 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.001 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it