{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004633286,0.0008262439,0.0006997982,0.001518449,0.002734932,0.005186713,0.003142518,0.002400196,0.01252901],"category_scores_gemma":[0.01293071,0.001346108,0.001745402,0.002562026,0.006914278,0.01815189,0.008817528,0.005637967,0.003464456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001505838,"about_ca_system_score_gemma":0.001456913,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008718586,"about_ca_topic_score_gemma":0.0006873187,"domain_scores_codex":[0.996672,0.001424687,0.0002274971,0.000727453,0.0005807969,0.0003675561],"domain_scores_gemma":[0.9906199,0.004190521,0.0003871751,0.003837204,0.0005266957,0.0004384918],"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.00002956795,0.00001755216,0.0001249003,0.00004454748,0.000004728337,0.00003414102,0.0005606235,0.0004537882,0.0006716902,0.9817365,0.001817847,0.01450402],"study_design_scores_gemma":[0.00001735738,0.00001469118,0.0000781304,0.00002847723,0.00001343482,0.00006792206,0.0001120278,0.002411908,0.001347245,0.9814892,0.01440095,0.00001851081],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02954366,0.0004809172,0.9290957,0.002039631,0.0004506577,0.00007777363,0.000328264,0.001673817,0.03630954],"genre_scores_gemma":[0.5595983,0.001188745,0.4094532,0.001184004,0.0003903338,0.0003365029,0.0008481959,0.002034086,0.02496672],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01252901,"threshold_uncertainty_score":0.04191375,"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."}}