{"id":"W2997454689","doi":"10.1002/malq.202000005","title":"Turing invariant sets and the perfect set property","year":2020,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Countable set; Property (philosophy); Invariant (physics); Turing; Mathematics; Discrete mathematics; Equivalence (formal languages); Set (abstract data type); 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.001350986,0.0003605613,0.0005185849,0.001213469,0.001334611,0.003325475,0.0008566207,0.0007121388,0.007803031],"category_scores_gemma":[0.005833951,0.0003781904,0.0006605432,0.001052721,0.005730426,0.006165312,0.003009944,0.001265869,0.0005480588],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001194532,"about_ca_system_score_gemma":0.0007281888,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009101258,"about_ca_topic_score_gemma":0.0006905444,"domain_scores_codex":[0.9981298,0.0003907545,0.0001414888,0.0003824844,0.000661689,0.0002938151],"domain_scores_gemma":[0.9950937,0.002639845,0.0005326826,0.001148449,0.0003613353,0.0002240126],"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.00001825612,0.000008595694,0.0003515235,0.00002690961,0.000008005698,0.00006955435,0.000105163,0.001327229,0.0009614817,0.9927995,0.0006429828,0.003680794],"study_design_scores_gemma":[0.00000779563,0.00001660784,0.000531429,0.00001615643,0.00001559406,0.0001524291,0.0001032805,0.006602688,0.003266677,0.9842003,0.005076065,0.000010882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3972505,0.001413121,0.4172955,0.002726575,0.0003618311,0.00005895627,0.0007476174,0.0007982495,0.1793475],"genre_scores_gemma":[0.9868525,0.0001867836,0.009542278,0.0001350744,0.0001006302,0.00002164406,0.000123817,0.00003537343,0.003001981],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007803031,"threshold_uncertainty_score":0.02610373,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04685334213629911,"score_gpt":0.2649848492308628,"score_spread":0.2181315070945637,"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."}}