{"id":"W2607553499","doi":"10.1090/crmm/017/05","title":"The main acyclic models theorem","year":2002,"lang":"en","type":"book-chapter","venue":"CRM monograph series","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Mathematics; Computer science; Mathematical economics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009479748,0.0009422568,0.0009382188,0.001301317,0.002361348,0.003075029,0.001864042,0.001641897,0.05597859],"category_scores_gemma":[0.003156076,0.0009638692,0.001463532,0.0017759,0.002817095,0.01178315,0.003123656,0.005417742,0.011208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001329217,"about_ca_system_score_gemma":0.001095647,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002569221,"about_ca_topic_score_gemma":0.002666388,"domain_scores_codex":[0.9989474,0.0002036275,0.00004977962,0.0004162221,0.0002549087,0.0001280118],"domain_scores_gemma":[0.9988167,0.0005594758,0.00004964245,0.0003180156,0.0001806818,0.00007549852],"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.00001005814,0.000009929547,0.00005511453,0.0000512079,0.000007647878,0.00001872961,0.00009449199,0.0001020719,0.0001036112,0.9751011,0.01538999,0.009056152],"study_design_scores_gemma":[0.000006506471,0.000002884763,0.00006019456,0.00002015681,0.000009229368,0.00005483967,0.00002714957,0.000393856,0.0001283037,0.9607918,0.03850058,0.000004510771],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.007726924,0.005234272,0.2011106,0.009744635,0.001220251,0.0001255651,0.003238688,0.001025521,0.7705735],"genre_scores_gemma":[0.4308549,0.01229798,0.09668934,0.01491514,0.004171921,0.001205243,0.005366735,0.001473566,0.4330251],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.05597859,"threshold_uncertainty_score":0.1872671,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03022115644252903,"score_gpt":0.2152457829168354,"score_spread":0.1850246264743064,"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."}}