{"id":"W3011769116","doi":"10.1016/j.apal.2023.103316","title":"Companionability characterization for the expansion of an o-minimal theory by a dense subgroup","year":2023,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"National Science Foundation","keywords":"Mathematics; Multiplicative function; Unary operation; Abelian group; Predicate (mathematical logic); Characterization (materials science); Morphism; Discrete mathematics; Base (topology); Pure mathematics; Combinatorics; Computer science; Mathematical analysis","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.0009164944,0.0005077309,0.0009449215,0.00206889,0.001381889,0.002255284,0.0008876646,0.001003521,0.008008262],"category_scores_gemma":[0.002687215,0.0003683076,0.00129578,0.0011594,0.003815014,0.005352709,0.003519657,0.00260626,0.0005424935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009465484,"about_ca_system_score_gemma":0.0004366211,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000866814,"about_ca_topic_score_gemma":0.0006248087,"domain_scores_codex":[0.9991947,0.0001461557,0.00005291773,0.0002213673,0.0002180577,0.0001667668],"domain_scores_gemma":[0.9976963,0.001182514,0.0002238471,0.0002314035,0.0002755605,0.0003903416],"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.0001085881,0.00005449984,0.0009322853,0.00003762463,0.00001438302,0.0002232286,0.000672553,0.0004271661,0.003230368,0.9896526,0.0006104691,0.004036176],"study_design_scores_gemma":[0.00004099961,0.00008645649,0.001430061,0.00001719041,0.00002750317,0.0003155557,0.0003748862,0.006996654,0.001605204,0.9857929,0.003291411,0.00002106343],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7121437,0.000600862,0.1463723,0.001952838,0.0001920731,0.0001083128,0.0004295371,0.0003161684,0.1378841],"genre_scores_gemma":[0.9835612,0.0001502904,0.007426772,0.0002816986,0.0002245929,0.00005209087,0.0003739615,0.00006465525,0.007864721],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008008262,"threshold_uncertainty_score":0.02679032,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08079708343801577,"score_gpt":0.3528783710157186,"score_spread":0.2720812875777028,"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."}}