{"id":"W2055590403","doi":"10.1016/s0022-4049(01)00064-0","title":"Embedding ordered fields in formal power series fields","year":2002,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Saskatchewan","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Embedding; Mathematics; Series (stratigraphy); Extension (predicate logic); Power series; Simple (philosophy); Field (mathematics); Formal power series; Power (physics); Pure mathematics; Mathematical analysis; Computer science; Artificial intelligence; Physics; Quantum mechanics; Epistemology","routes":{"ca_aff":true,"ca_fund":true,"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.0004635753,0.0001407887,0.0003218477,0.0001367796,0.00007789254,0.00004094901,0.0001426379,0.0001698586,0.0009772547],"category_scores_gemma":[0.00009450012,0.0001119803,0.0000771187,0.0001641121,0.00003922296,0.0003004465,0.00005484772,0.0004383025,0.00000907158],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001159663,"about_ca_system_score_gemma":0.000009956537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.554373e-7,"about_ca_topic_score_gemma":0.000005528377,"domain_scores_codex":[0.998986,0.00002752025,0.0004481259,0.0001009745,0.0001890224,0.0002483694],"domain_scores_gemma":[0.9993367,0.0002002862,0.0002217876,0.0001208984,0.00003582685,0.00008446044],"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.0005924392,0.0006759292,0.0009427087,0.0003761829,0.0003178052,0.00031353,0.02013354,0.00008845234,0.00107036,0.9143587,0.0318476,0.0292827],"study_design_scores_gemma":[0.00199338,0.0004232504,0.0004890878,0.0001319235,0.00006401621,0.0006535578,0.005022797,0.00008768899,0.003073114,0.9833871,0.004308267,0.0003658006],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9834862,0.0003358921,0.001893461,0.000731673,0.0001468183,0.00008069834,9.756143e-7,0.00001309036,0.01331114],"genre_scores_gemma":[0.9969886,0.00008282811,0.001817401,0.0002903691,0.0001606562,0.000002482638,2.9553e-7,0.00001275221,0.0006446244],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.06902836,"threshold_uncertainty_score":0.999936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01716919319048703,"score_gpt":0.2549787382609638,"score_spread":0.2378095450704767,"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."}}