{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001217915,0.0008895937,0.001090544,0.003603433,0.002889551,0.007332019,0.001689562,0.001168462,0.04136549],"category_scores_gemma":[0.004412796,0.001067717,0.000992615,0.006947798,0.002866195,0.009242667,0.002005797,0.005423958,0.01768558],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002769223,"about_ca_system_score_gemma":0.002197392,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001771494,"about_ca_topic_score_gemma":0.002097543,"domain_scores_codex":[0.9989834,0.0002169348,0.000116573,0.0001575171,0.0003815121,0.0001439503],"domain_scores_gemma":[0.995817,0.00162064,0.0002312397,0.001340249,0.0007150209,0.0002758836],"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.00007568688,0.00003618911,0.0001541701,0.0001119016,0.000007174118,0.00006054488,0.0002529722,0.0006378591,0.0004532784,0.9472879,0.02261442,0.02830797],"study_design_scores_gemma":[0.00002176402,0.00001786906,0.0001401073,0.00005057377,0.00001260878,0.0001517512,0.00009005257,0.002328972,0.001648698,0.8837249,0.1117861,0.00002666746],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04296223,0.00532681,0.6254683,0.007964205,0.003092417,0.000180409,0.01557062,0.01045231,0.2889827],"genre_scores_gemma":[0.4872372,0.005963665,0.2213333,0.001775512,0.002302802,0.0003733807,0.01883499,0.003787408,0.2583918],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04136549,"threshold_uncertainty_score":0.1383813,"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."}}