{"id":"W4416295885","doi":"10.1016/j.apal.2025.103679","title":"Construction schemes: Transferring structures from ω to ω1","year":2025,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Conseil National de la Recherche Scientifique; Natural Sciences and Engineering Research Council of Canada; Consejo Nacional de Ciencia y Tecnología","keywords":"Algebra over a field; Class (philosophy); Calculus (dental); Set theory","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001206654,0.0001113016,0.0002024212,0.00008362158,0.00007762534,0.00007733935,0.0002827568,0.0000815335,0.000007999158],"category_scores_gemma":[0.000008847346,0.00008800031,0.00004163755,0.0002364861,0.00004770537,0.00007086575,0.00007723147,0.00007581061,0.000005171742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002876461,"about_ca_system_score_gemma":0.00002265985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004118001,"about_ca_topic_score_gemma":0.00001121678,"domain_scores_codex":[0.9992169,0.00001685832,0.0001886556,0.0002968142,0.0001108539,0.0001699299],"domain_scores_gemma":[0.9995911,0.00003374105,0.00004581112,0.0002288968,0.0000436482,0.00005680684],"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.000008350722,0.0000113298,0.0002311923,0.00003217878,0.00002821684,0.000001050192,0.0003867131,0.00001553474,0.003515668,0.9035201,0.000317214,0.09193248],"study_design_scores_gemma":[0.0002836594,0.00007901812,0.002301887,0.00001413256,0.00001190081,0.000002881823,0.0004198535,0.00008652599,0.06262777,0.9202064,0.01378026,0.0001856914],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1377586,0.001594317,0.8391353,0.001447251,0.0003855141,0.0003870946,0.000003244202,0.000145922,0.01914276],"genre_scores_gemma":[0.9916381,0.00003193461,0.007268589,0.0009485217,0.00005340145,0.00001384948,0.000002425381,0.000002731286,0.00004041766],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8538795,"threshold_uncertainty_score":0.3588548,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0386720072520189,"score_gpt":0.2864912475535429,"score_spread":0.247819240301524,"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."}}