{"id":"W2963944370","doi":"10.1017/jsl.2018.10","title":"CONSTRUCTING TYPES IN DIFFERENTIALLY CLOSED FIELDS THAT ARE ANALYSABLE IN THE CONSTANTS","year":2018,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Algebraic structures and combinatorial models","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Combinatorics; Rank (graph theory); Type (biology); Physics; Base (topology); Canonical form; Constant (computer programming); Mathematics; Mathematical analysis; Pure mathematics; Biology","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.001600509,0.0004915136,0.0005418866,0.002222426,0.001899791,0.004489214,0.0008714225,0.0006947198,0.002448786],"category_scores_gemma":[0.004256784,0.0005637938,0.001372448,0.001557218,0.005655053,0.005276341,0.001981345,0.002334613,0.0003904955],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003331469,"about_ca_system_score_gemma":0.001680227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00219381,"about_ca_topic_score_gemma":0.003318254,"domain_scores_codex":[0.9989773,0.0002405849,0.00006234536,0.00020104,0.0003076599,0.0002111403],"domain_scores_gemma":[0.997838,0.001024507,0.0003128784,0.0003954757,0.0002598091,0.0001694762],"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.00004780814,0.00001874018,0.00103855,0.00002469524,0.000008981992,0.0001008558,0.0005992023,0.002627027,0.001920814,0.9879729,0.0002361146,0.005404387],"study_design_scores_gemma":[0.00001111587,0.00003317087,0.0003943778,0.00002984628,0.00002618427,0.0000829658,0.000471382,0.01603289,0.005708296,0.9726226,0.00455892,0.00002818565],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5935259,0.0003908857,0.3660714,0.0008152283,0.0001650903,0.0001057215,0.0003886372,0.0008944583,0.03764265],"genre_scores_gemma":[0.927601,0.0002140292,0.06215924,0.000112791,0.00006391897,0.00005852303,0.0002315602,0.000171974,0.009386922],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004489214,"threshold_uncertainty_score":0.02417159,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06778004490792747,"score_gpt":0.3185973889288821,"score_spread":0.2508173440209547,"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."}}