{"id":"W2274169065","doi":"10.1016/j.aim.2016.02.004","title":"Types in the n-adic tree and minimal analytic gaps","year":2016,"lang":"en","type":"article","venue":"Advances in Mathematics","topic":"advanced mathematical theories","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Centre National de la Recherche Scientifique","keywords":"Mathematics; Tree (set theory); Pure mathematics; Discrete mathematics; Combinatorics","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.001103482,0.0002738212,0.0005210502,0.0001610011,0.00005440338,0.00003085033,0.0004346172,0.00008777477,0.0001001995],"category_scores_gemma":[0.003290474,0.000143561,0.00006183905,0.0004114964,0.0003814251,0.0004746669,0.0001018301,0.000179471,0.00004315621],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006286009,"about_ca_system_score_gemma":0.00001970725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.977203e-7,"about_ca_topic_score_gemma":0.00008912072,"domain_scores_codex":[0.9981071,0.0001124147,0.000683925,0.0003059791,0.0003590459,0.0004314719],"domain_scores_gemma":[0.9931577,0.005951021,0.0002062123,0.0005943661,0.00003528591,0.00005543251],"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.0000204922,0.0002591395,0.0006967444,0.0005233339,0.00001161124,0.0000331537,0.00270699,0.000003463151,0.0001755638,0.9831468,0.00007103839,0.01235171],"study_design_scores_gemma":[0.0006204377,0.00005942434,0.0002313178,0.0005590415,0.00002854213,0.00004614149,0.001441856,0.0002063253,0.0002592874,0.9950722,0.001249805,0.0002256535],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.724057,0.009728168,0.1103923,0.003841962,0.0003830697,0.002874507,0.00004971588,0.0003969729,0.1482763],"genre_scores_gemma":[0.8076296,0.00160325,0.1888924,0.0001302373,0.00008937514,0.0001563828,8.373723e-7,0.00007384352,0.001424081],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1468522,"threshold_uncertainty_score":0.5854248,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02748075179317914,"score_gpt":0.3410499401611181,"score_spread":0.313569188367939,"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."}}