{"id":"W2014332513","doi":"10.1016/j.jlap.2013.11.001","title":"Characterizations of semicomputable sets of real numbers","year":2013,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Disjoint sets; Mathematics; Class (philosophy); Algebraic number; Projection (relational algebra); Real number; Algebra over a field; Rational number; Algebraic operation; Discrete mathematics; Pure mathematics; Computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.002389312,0.0001528682,0.0006191094,0.0002053008,0.00004260063,0.00007708528,0.000601646,0.0001072807,0.0000342922],"category_scores_gemma":[0.000425271,0.0001103903,0.0001414676,0.0006732165,0.0001714807,0.000473927,0.0003629641,0.000306727,6.464662e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002861058,"about_ca_system_score_gemma":0.00006406137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005165293,"about_ca_topic_score_gemma":0.000001291974,"domain_scores_codex":[0.9974814,0.0005664032,0.001123312,0.000243282,0.0003047121,0.000280911],"domain_scores_gemma":[0.997672,0.0009066501,0.000754534,0.0002296451,0.0003075802,0.0001295724],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007496806,0.0003316966,0.0121815,0.00008179406,0.00002974631,0.00001194235,0.0006945803,0.00009866418,0.01015809,0.009393476,0.000009049287,0.967002],"study_design_scores_gemma":[0.002490809,0.002657729,0.2748689,0.0006013165,0.00007468904,0.0009503894,0.0006004249,0.1229862,0.01451264,0.5779412,0.001446348,0.000869336],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.400507,0.0001688138,0.5985196,0.0002786528,0.0001971691,0.0001671628,4.821758e-7,0.00001502592,0.0001460534],"genre_scores_gemma":[0.2929169,0.00005411333,0.7069457,0.00003147186,0.00003539965,0.000004097363,3.762093e-7,0.000004211473,0.000007781669],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9661326,"threshold_uncertainty_score":0.4501586,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03507238830327356,"score_gpt":0.3478299379551908,"score_spread":0.3127575496519172,"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."}}