{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001358065,0.0003244653,0.0006390224,0.000458446,0.00008959764,0.00005597131,0.0004365487,0.0001481046,0.000308052],"category_scores_gemma":[0.00251965,0.0002704612,0.0001832009,0.000480524,0.00008357848,0.0003291587,0.0001167252,0.0001769131,0.00005902567],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001063152,"about_ca_system_score_gemma":0.00003679077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001537979,"about_ca_topic_score_gemma":0.00001172181,"domain_scores_codex":[0.997421,0.00005046105,0.001144385,0.0004347245,0.0004294056,0.0005200724],"domain_scores_gemma":[0.9972734,0.001414578,0.000428744,0.0006467697,0.0001016608,0.0001348045],"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.0001147787,0.001024775,0.00005238074,0.004292756,0.0000772561,0.000008298316,0.002367752,5.930322e-7,0.000180322,0.9790909,0.01153258,0.001257621],"study_design_scores_gemma":[0.001303714,0.0001894802,0.001222206,0.0006461197,0.00007799264,0.00000974938,0.0003203815,0.00316733,0.00114553,0.9913632,0.0002094126,0.0003449235],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6348124,0.001630492,0.2319907,0.002998365,0.001481662,0.01473518,0.001148419,0.0008117929,0.110391],"genre_scores_gemma":[0.7932364,0.0002206203,0.2027453,0.0004192199,0.0001668339,0.0006016926,0.00008534888,0.0001159792,0.002408597],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.158424,"threshold_uncertainty_score":0.9999748,"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."}}