{"id":"W1998220929","doi":"10.1016/j.apal.2009.06.008","title":"Effectiveness in RPL, with applications to continuous logic","year":2009,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Mathematics; Discrete mathematics; Model theory; Abstract model theory; Extension (predicate logic); Computability; Algebra over a field; Pure mathematics; Computer science","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.007104914,0.001168253,0.002165431,0.005568322,0.001885503,0.008156025,0.002543283,0.001866005,0.00926304],"category_scores_gemma":[0.02911102,0.0008971294,0.001940842,0.005639798,0.006104406,0.01327987,0.004191347,0.005929017,0.0011315],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003736902,"about_ca_system_score_gemma":0.001306028,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00208998,"about_ca_topic_score_gemma":0.001624022,"domain_scores_codex":[0.9952295,0.002495547,0.000275825,0.0005919485,0.001105515,0.0003017262],"domain_scores_gemma":[0.9665164,0.0276252,0.001225345,0.001637406,0.001999702,0.0009959204],"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.00002741912,0.00003055553,0.0002563546,0.00008109125,0.00001243265,0.00003305142,0.0002104569,0.005420202,0.0001401292,0.9700884,0.00167458,0.02202535],"study_design_scores_gemma":[0.00001327963,0.00002420576,0.0001942059,0.00003842156,0.00002329335,0.00006466451,0.0001082011,0.05456672,0.0003856492,0.9404883,0.004075284,0.00001785593],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02758002,0.005650407,0.8858369,0.004260049,0.0003235168,0.00007674427,0.0002893035,0.0006780074,0.07530499],"genre_scores_gemma":[0.6850929,0.005116212,0.2826432,0.0009571149,0.002109181,0.0002658661,0.0004677287,0.0006350133,0.02271272],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00926304,"threshold_uncertainty_score":0.03757483,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0318717696874971,"score_gpt":0.2976856607751662,"score_spread":0.2658138910876691,"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."}}