{"id":"W2009212476","doi":"10.2178/jsl/1294170990","title":"Computability of Fraïssé limits","year":2011,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Countable set; Limit (mathematics); Mathematics; Computability; Pure mathematics; Quantifier (linguistics); Finitely-generated abelian group; Focus (optics); Set (abstract data type); Discrete mathematics; Computer science; Mathematical analysis; Artificial intelligence","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00177707,0.0002281982,0.000727016,0.0002617595,0.00006461751,0.00004309673,0.0020993,0.0001303055,0.00009798269],"category_scores_gemma":[0.0003353888,0.0001726908,0.000357305,0.000637746,0.0002097986,0.0005196101,0.0004069485,0.0004075835,0.00002346874],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009363984,"about_ca_system_score_gemma":0.0002167643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003456619,"about_ca_topic_score_gemma":0.000003139316,"domain_scores_codex":[0.9971039,0.0002901091,0.00124483,0.0003303208,0.0006598943,0.0003709588],"domain_scores_gemma":[0.9968936,0.0003440673,0.0009790977,0.0007843206,0.0007603472,0.000238571],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.000329153,0.01090304,0.1842491,0.0006104365,0.0007819418,0.0008873173,0.03282098,0.002702573,0.008061343,0.2999312,0.003203094,0.4555198],"study_design_scores_gemma":[0.00153004,0.002611204,0.5365838,0.0001065457,0.00006436415,0.001151606,0.0002050815,0.01449364,0.008862435,0.4330192,0.0007787586,0.0005933071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5069215,0.0006229681,0.4839781,0.0006125697,0.001477795,0.0002079578,0.000002204133,0.00008149139,0.006095343],"genre_scores_gemma":[0.8579851,0.00002667423,0.1415527,0.0002383938,0.0001740025,0.000001130729,1.428373e-7,0.000007982734,0.00001389138],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4549265,"threshold_uncertainty_score":0.7042124,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06807033090625696,"score_gpt":0.2583032159889854,"score_spread":0.1902328850827284,"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."}}