{"id":"W4411219706","doi":"10.1007/s00605-025-02079-w","title":"Complexity of well-ordered sets in an ordered Abelian group","year":2025,"lang":"de","type":"article","venue":"Monatshefte für Mathematik","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"Simons Foundation","keywords":"Abelian group; Group (periodic table); Mathematics; Combinatorics; Pure mathematics; Physics; Quantum mechanics","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.002116261,0.0009199781,0.001746407,0.001005094,0.0002828829,0.0004082934,0.003773855,0.0004836013,0.0004539771],"category_scores_gemma":[0.0002750767,0.0009598804,0.0003918678,0.003187859,0.0008885469,0.0007946141,0.002184364,0.0008424483,0.0002912451],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003857801,"about_ca_system_score_gemma":0.0004111629,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008741324,"about_ca_topic_score_gemma":0.001250987,"domain_scores_codex":[0.9925216,0.0008838424,0.002283503,0.001952134,0.001098093,0.0012608],"domain_scores_gemma":[0.9944769,0.0006917798,0.0007651293,0.003242575,0.0004976339,0.000325996],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003809416,0.01860658,0.02150878,0.007361208,0.0007761493,0.0004229845,0.02206309,0.003154734,0.002619667,0.6156304,0.005352566,0.3021229],"study_design_scores_gemma":[0.002138112,0.0004479363,0.04193711,0.0006712598,0.00007977321,0.00001265389,0.0003359827,0.5293578,0.0006273824,0.4202073,0.003260487,0.0009242443],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5295771,0.01355485,0.4172595,0.009121334,0.007331308,0.00593542,0.0002969442,0.001243905,0.0156797],"genre_scores_gemma":[0.853766,0.0001771821,0.1446528,0.0005047391,0.0001324979,0.00009983779,0.00007317893,0.00007464576,0.000519167],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.526203,"threshold_uncertainty_score":0.9992852,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03914299349381376,"score_gpt":0.315109941042495,"score_spread":0.2759669475486812,"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."}}