{"id":"W1988793564","doi":"10.4064/fm214-2-5","title":"Some (non-)elimination results for curves in geometric structures","year":2011,"lang":"en","type":"article","venue":"Fundamenta Mathematicae","topic":"Mathematical Dynamics and Fractals","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"National Science Foundation","keywords":"Quantifier elimination; Mathematics; Dimension (graph theory); Algebraic number; Universe; Order (exchange); Pure mathematics; Algebraic structure; Combinatorics; Discrete mathematics; Algebra over a field; Mathematical analysis; Physics","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.001590063,0.0009025339,0.0009734153,0.002514238,0.003521641,0.003765051,0.001714065,0.001214686,0.01013291],"category_scores_gemma":[0.003556257,0.0004625957,0.001642449,0.002271987,0.004129785,0.01087538,0.003406785,0.003754429,0.0009080367],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001684983,"about_ca_system_score_gemma":0.0007216893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001586985,"about_ca_topic_score_gemma":0.001873287,"domain_scores_codex":[0.9987707,0.0001744864,0.00008300543,0.000244533,0.0004049351,0.0003223735],"domain_scores_gemma":[0.9967713,0.001907039,0.0002579443,0.0004055035,0.0004263491,0.0002318278],"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.00002060303,0.00002167913,0.0005276944,0.0001173576,0.00001218934,0.0001525555,0.0003519634,0.0004879175,0.0006278179,0.9917545,0.00106903,0.004856745],"study_design_scores_gemma":[0.00001179336,0.00002464585,0.0007179676,0.00002592097,0.00002516975,0.0002338862,0.0002304985,0.002266243,0.001157039,0.9859914,0.009300849,0.00001454662],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4356644,0.01169135,0.3291261,0.007512547,0.0005543947,0.0001154016,0.0009809999,0.0004867053,0.213868],"genre_scores_gemma":[0.9183396,0.003940872,0.03981723,0.001037424,0.0007234695,0.0001007388,0.001151292,0.0001494876,0.03473976],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01013291,"threshold_uncertainty_score":0.03389794,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1205938376527711,"score_gpt":0.3415116990483543,"score_spread":0.2209178613955832,"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."}}