{"id":"W4308731563","doi":"10.1142/s0219061322500313","title":"The degree of nonminimality is at most 2","year":2022,"lang":"en","type":"article","venue":"Journal of Mathematical Logic","topic":"Advanced Differential Equations and Dynamical Systems","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Agence Nationale de la Recherche","keywords":"Mathematics; Extension (predicate logic); Rank (graph theory); Zero (linguistics); Degree (music); Field (mathematics); Combinatorics; Type (biology); Discrete mathematics; Pure mathematics; Physics; Computer science","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.00232047,0.0006905955,0.00105305,0.001057558,0.002563149,0.004260472,0.001614509,0.001077882,0.01265567],"category_scores_gemma":[0.006320614,0.0006431162,0.000899467,0.0007129992,0.004542687,0.01048814,0.004520275,0.002953066,0.001618937],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001644982,"about_ca_system_score_gemma":0.001098573,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000280635,"about_ca_topic_score_gemma":0.0003979658,"domain_scores_codex":[0.9969636,0.0004921689,0.0002904262,0.000879802,0.0006797562,0.0006941978],"domain_scores_gemma":[0.9933333,0.002889149,0.0007881357,0.001292754,0.0009594543,0.0007372084],"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.0004485329,0.00008992192,0.004258483,0.0002483506,0.00004312119,0.0004927369,0.001105792,0.001035172,0.006302399,0.9619966,0.001756778,0.02222207],"study_design_scores_gemma":[0.0000459644,0.0001376108,0.002109739,0.00004956958,0.00003940019,0.001484843,0.0004105923,0.002367967,0.007351356,0.9613056,0.02462059,0.00007681361],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7224291,0.00142423,0.09960357,0.007168966,0.0007828229,0.0001534819,0.00107542,0.000999418,0.1663631],"genre_scores_gemma":[0.9823664,0.0002059946,0.005704471,0.0001910555,0.000239928,0.00004223743,0.000189638,0.00006492685,0.01099515],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01265567,"threshold_uncertainty_score":0.04233748,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1340745167491291,"score_gpt":0.3405369963680814,"score_spread":0.2064624796189523,"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."}}