{"id":"W2776509443","doi":"10.4153/s0008439518000036","title":"Krivine’s Function Calculus and Bochner Integration","year":2018,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Advanced Banach Space Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Calculus (dental); Function (biology); Homogeneous; Measure (data warehouse); Locally integrable function; Bochner space; Integrable system; Algebra over a field","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004537959,0.0002089319,0.0002582737,0.0001534082,0.0001928353,0.00005245651,0.0001291127,0.0001452146,0.01143545],"category_scores_gemma":[0.001601642,0.0001796316,0.00004908471,0.0001398629,0.0003299253,0.00005813107,0.0000374992,0.0001928325,0.005554574],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001722381,"about_ca_system_score_gemma":0.00007791723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000282262,"about_ca_topic_score_gemma":0.005289611,"domain_scores_codex":[0.9987453,0.00006961631,0.0002812625,0.0002896896,0.0001782873,0.0004358869],"domain_scores_gemma":[0.9986113,0.0003192392,0.00007284662,0.0003801508,0.0001253573,0.0004911293],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000182705,0.00002846163,0.00001054761,0.00006023916,0.0000200842,0.00001086508,0.0004247177,1.470146e-7,0.0003542877,0.9503766,0.04369109,0.005004696],"study_design_scores_gemma":[0.0002913064,0.000151723,0.0000940909,0.0001199219,0.00006064803,0.00005023876,0.0004240689,0.0006291295,0.0006138196,0.9302236,0.06704295,0.0002985089],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2665593,0.0001501086,0.5431622,0.01571503,0.0004542575,0.001209674,0.00003523817,0.0004859005,0.1722283],"genre_scores_gemma":[0.967869,0.000003628747,0.02000784,0.001162978,0.000349118,0.00004367505,0.000006397669,0.00006430322,0.01049301],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7013097,"threshold_uncertainty_score":0.9952197,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01932616464172645,"score_gpt":0.269852266569455,"score_spread":0.2505261019277286,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}