{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005287678,0.0001179879,0.0003881561,0.0001390562,0.00004980953,0.00005141957,0.0003433285,0.0001147162,0.0001446469],"category_scores_gemma":[0.0003061729,0.00006844315,0.00009277565,0.0002295282,0.0001031883,0.00008652861,0.00003873497,0.0003515043,0.000002151489],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005110036,"about_ca_system_score_gemma":0.00006196884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002415538,"about_ca_topic_score_gemma":0.0002259042,"domain_scores_codex":[0.9987984,0.0001453967,0.0004596384,0.00009731406,0.0002910474,0.0002082039],"domain_scores_gemma":[0.9988816,0.000347437,0.0004629842,0.0001697153,0.0001032668,0.00003494192],"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.0001514658,0.0001860435,0.1378459,0.00005621725,0.0001206488,0.0001795136,0.004127266,0.000009659966,0.0001107287,0.8543569,0.0007481732,0.002107518],"study_design_scores_gemma":[0.000942114,0.0001154679,0.0143652,0.0001296243,0.00003759144,0.0001352155,0.003307479,0.00007107,0.0002732869,0.9805045,0.00002240162,0.00009606425],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.994916,0.0001147547,0.0002412072,0.0004589889,0.0005767631,0.00009074985,9.101881e-7,0.000005229158,0.003595358],"genre_scores_gemma":[0.9990164,0.00002238334,0.0003837055,0.0002196097,0.0003287225,0.000001103807,1.649591e-7,0.000007298829,0.00002057793],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1261476,"threshold_uncertainty_score":0.2791031,"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."}}