{"id":"W2123017773","doi":"10.2178/jsl/1190150053","title":"Pfaffian differential equations over exponential o-minimal structures","year":2002,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Pfaffian; Mathematics; Unary operation; Differentiable function; Combinatorics; Function (biology); Zero (linguistics); Sequence (biology); Discrete mathematics; Pure mathematics","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001570659,0.0001565274,0.0003562257,0.0001553839,0.0001393979,0.00002228049,0.0002484118,0.0001455984,0.006233734],"category_scores_gemma":[0.0004348787,0.0001141661,0.0002048613,0.00008801284,0.0001451757,0.0001729327,0.00004398457,0.000373567,0.00002822889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003639844,"about_ca_system_score_gemma":0.00001617614,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001033202,"about_ca_topic_score_gemma":0.000002555402,"domain_scores_codex":[0.9987258,0.0001251893,0.0005239598,0.0001128967,0.0002642965,0.0002478212],"domain_scores_gemma":[0.9988123,0.0003824865,0.000441772,0.0001755816,0.0000822308,0.0001056451],"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.0001230416,0.0004045726,0.0002454254,0.00003005297,0.0002084007,0.0001354686,0.002120412,0.00005795619,0.005560392,0.9825354,0.006024932,0.002553926],"study_design_scores_gemma":[0.001268957,0.0002407788,0.002247346,0.00002205799,0.0001345494,0.0003154341,0.0002696314,0.0003428908,0.0007433402,0.9936672,0.0005635803,0.0001841976],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9385381,0.0004383964,0.05543907,0.0004100421,0.001055123,0.0001050017,0.000007963455,0.00003574732,0.003970498],"genre_scores_gemma":[0.9947885,0.00004473918,0.003229409,0.0001427317,0.0008676556,0.000001615756,9.014515e-7,0.00001663409,0.0009077991],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05625036,"threshold_uncertainty_score":0.9946747,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06992720322201543,"score_gpt":0.3259013966798077,"score_spread":0.2559741934577923,"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."}}