{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000819264,0.0004798517,0.0007479236,0.002327946,0.002281915,0.003679428,0.001138798,0.001234988,0.006440262],"category_scores_gemma":[0.002425303,0.0004221711,0.000677775,0.001456304,0.003478224,0.00826551,0.002389117,0.002148199,0.0007582208],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001720923,"about_ca_system_score_gemma":0.0007290287,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001218277,"about_ca_topic_score_gemma":0.001170829,"domain_scores_codex":[0.9994407,0.0001352274,0.00004229945,0.0001043138,0.0001740432,0.0001033045],"domain_scores_gemma":[0.9990089,0.0003650344,0.0001478034,0.0001330693,0.0001719025,0.0001732923],"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.000009414415,0.000003212838,0.00007360605,0.000009373393,0.000001402793,0.00002646522,0.00006721629,0.00009203494,0.0000924499,0.9985586,0.0002368038,0.0008294651],"study_design_scores_gemma":[0.000005374085,0.000002411965,0.00006756088,0.000006552351,0.000002214357,0.00005226413,0.00005470141,0.0003136034,0.00005337334,0.9980816,0.00135796,0.000002468431],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4715614,0.003533024,0.1191676,0.005455802,0.0007802017,0.00006987993,0.0007794231,0.0003409725,0.3983118],"genre_scores_gemma":[0.9579487,0.0008965869,0.01755604,0.000498455,0.0003068574,0.00004987215,0.000275712,0.00009799158,0.0223698],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006440262,"threshold_uncertainty_score":0.02154481,"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."}}