{"id":"W2131174171","doi":"10.1007/s00153-010-0219-2","title":"Relatively computably enumerable reals","year":2010,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Class (philosophy); Simple (philosophy); Real number; Set (abstract data type); Maximal set; Real line; Real analysis","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.001634406,0.0008316237,0.001048059,0.003598744,0.002314714,0.008056338,0.001997576,0.001015524,0.02027747],"category_scores_gemma":[0.01041455,0.0007017456,0.0009783519,0.004516766,0.003214806,0.01237326,0.002281768,0.005091014,0.006462442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002133196,"about_ca_system_score_gemma":0.001148237,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005012426,"about_ca_topic_score_gemma":0.0006414555,"domain_scores_codex":[0.9988006,0.0003208719,0.0001265365,0.0002726617,0.0003729614,0.0001063365],"domain_scores_gemma":[0.9932545,0.003347213,0.0005172351,0.001709614,0.0008425023,0.000329088],"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.00004794152,0.00002149505,0.0001722159,0.00007224698,0.000008555532,0.00002999338,0.0001634306,0.0005145755,0.0004000257,0.981062,0.00355233,0.01395518],"study_design_scores_gemma":[0.00001302348,0.00001132433,0.0001785963,0.00003857829,0.00001303473,0.0001251298,0.00006035221,0.002443764,0.0008170519,0.9753364,0.02095051,0.0000123346],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1141611,0.009227965,0.6545346,0.007775073,0.001267868,0.0001543226,0.006410755,0.003160201,0.2033081],"genre_scores_gemma":[0.6964665,0.0047759,0.2001171,0.0009438551,0.001423388,0.0003243586,0.006106352,0.0007916437,0.08905093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02027747,"threshold_uncertainty_score":0.06783491,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02261528776794679,"score_gpt":0.2756690841286623,"score_spread":0.2530537963607155,"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."}}