{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005028744,0.0001885647,0.0003793504,0.0001412478,0.00006155675,0.00005970639,0.0005439385,0.00007940787,0.000003233351],"category_scores_gemma":[0.00001407937,0.0001449543,0.00003858876,0.0007433317,0.00006628732,0.00009631972,0.0001480049,0.0001313661,0.0000120528],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001091953,"about_ca_system_score_gemma":0.00003073994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009835194,"about_ca_topic_score_gemma":0.00001150239,"domain_scores_codex":[0.9986206,0.000059892,0.0002414902,0.0005618903,0.0001924003,0.0003237247],"domain_scores_gemma":[0.9990487,0.0001696177,0.00008640872,0.0004769561,0.0001009501,0.0001174079],"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.00008375167,0.0006508806,0.001146993,0.00007277575,0.00001746091,0.00001688578,0.0004086224,0.002266879,0.003929566,0.6870929,0.0001508784,0.3041624],"study_design_scores_gemma":[0.001064131,0.001982819,0.2189915,0.00006957286,0.00001194281,0.00003392845,0.0001091639,0.0009786283,0.01215782,0.7621297,0.001794324,0.0006765691],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2168543,0.000462302,0.7703086,0.004221965,0.00003195359,0.00172793,0.000004614211,0.0001660689,0.006222219],"genre_scores_gemma":[0.9756477,0.00001730147,0.02257014,0.001590226,0.00003055668,0.0001274371,0.000002193666,0.000004740072,0.000009647506],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7587935,"threshold_uncertainty_score":0.5911066,"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."}}