{"id":"W2066080230","doi":"10.1007/s00153-008-0112-4","title":"Linear orders with distinguished function symbol","year":2008,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Automorphism; Rational number; Symbol (formal); Categorical variable; Function (biology); Algebra over a field; Discrete mathematics; Fixed point; Automorphism group; Arithmetic; Pure mathematics; Mathematical analysis; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002741874,0.0002292494,0.0003310069,0.00007740209,0.0002862285,0.00004666923,0.0006524962,0.00004947007,0.00003768741],"category_scores_gemma":[0.0005667122,0.00015763,0.0001320275,0.0002802882,0.0002687262,0.0001517729,0.0002571009,0.0001639836,0.0001206233],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003038494,"about_ca_system_score_gemma":0.00006441248,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005225519,"about_ca_topic_score_gemma":0.000003668775,"domain_scores_codex":[0.9982765,0.00006980365,0.0003216767,0.0005641413,0.0003287711,0.0004391388],"domain_scores_gemma":[0.9978702,0.001111045,0.00009952128,0.0006323565,0.000130797,0.0001560571],"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.00006911185,0.0006489417,0.0004705526,0.0001904597,0.00005987925,0.00004785338,0.00119018,0.0005808866,0.0001405443,0.990345,0.0007336817,0.005522905],"study_design_scores_gemma":[0.0004945673,0.0007450234,0.001787012,0.00002348078,0.00001669515,0.0001329085,0.00002338216,0.2652072,0.00006641171,0.7306232,0.0006370176,0.0002431452],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01386967,0.00001173699,0.9797469,0.0005281635,0.0001304297,0.0006702609,0.000007113674,0.0003801783,0.004655546],"genre_scores_gemma":[0.3917214,0.000001145336,0.6076311,0.000254253,0.0001140217,0.0001051427,0.00001068355,0.00001663716,0.0001456083],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3778517,"threshold_uncertainty_score":0.6427965,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03192420173380044,"score_gpt":0.2463704260378365,"score_spread":0.214446224304036,"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."}}