{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002792832,0.0005731557,0.001063052,0.004384018,0.003103446,0.008355577,0.002441282,0.001586998,0.008425266],"category_scores_gemma":[0.01761464,0.0009501803,0.001580015,0.003310581,0.005386723,0.01246317,0.00435075,0.003135687,0.0007476478],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002185638,"about_ca_system_score_gemma":0.00128188,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000656214,"about_ca_topic_score_gemma":0.0006200718,"domain_scores_codex":[0.9963009,0.0006289037,0.0004517679,0.0007653118,0.001374498,0.0004784679],"domain_scores_gemma":[0.9759859,0.01538278,0.002373654,0.002622057,0.002387058,0.001248411],"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.00005945893,0.00002588273,0.000693323,0.00004484584,0.000009374962,0.0001187114,0.0006739338,0.0006034769,0.000792472,0.9927527,0.0003708108,0.003855021],"study_design_scores_gemma":[0.00001629032,0.00002603375,0.0003990627,0.00002923209,0.00001229126,0.0002059033,0.0003345797,0.005700995,0.001524667,0.988545,0.00318063,0.00002539946],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5224635,0.001444755,0.4199406,0.002091736,0.0003622487,0.00016483,0.001049192,0.0008087508,0.05167437],"genre_scores_gemma":[0.9514461,0.000316544,0.03910205,0.0002831673,0.0003086188,0.0001308045,0.0008196702,0.0001452579,0.007447846],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008425266,"threshold_uncertainty_score":0.02818531,"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."}}