{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001906523,0.0006185026,0.001103153,0.00007280444,0.0002318963,0.001181075,0.002607166,0.0003203161,0.00007066296],"category_scores_gemma":[0.0004321958,0.0002971582,0.0003136024,0.0002264609,0.0004988342,0.0001815827,0.002812969,0.001297307,0.0002612497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008336406,"about_ca_system_score_gemma":0.0001424202,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004199713,"about_ca_topic_score_gemma":0.000004350308,"domain_scores_codex":[0.9956474,0.0008236776,0.0008329397,0.001425671,0.0006941372,0.0005762006],"domain_scores_gemma":[0.9961956,0.001279519,0.0002750392,0.001859441,0.0001089691,0.0002814158],"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.0000777063,0.0004531922,0.00002427476,0.003203693,0.0002631756,0.000350967,0.04303723,0.0001991866,0.00006279702,0.8722357,0.00129872,0.07879342],"study_design_scores_gemma":[0.0004342204,0.0002425314,0.0001290788,0.00009603121,0.00004077403,0.000127253,0.00009455116,0.3958348,0.000008697896,0.6026006,0.0000756795,0.0003157644],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007071777,0.0002443626,0.9522954,0.03084662,0.0005398992,0.002228641,0.00001656029,0.0007280845,0.006028705],"genre_scores_gemma":[0.8347824,0.00001058922,0.1629033,0.001468324,0.0002971208,0.0003426097,0.000009972557,0.00004241223,0.0001432647],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8277107,"threshold_uncertainty_score":0.999948,"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."}}