{"id":"W1972032521","doi":"10.2178/bsl.1901020","title":"Non-standard lattices and o-minimal groups","year":2013,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Lattice (music); Mathematics; Invariant (physics); Group structure; Pure mathematics; Combinatorics; Discrete mathematics; Physics; Mathematical physics","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002442189,0.0001363069,0.0003241208,0.00004373537,0.00007383635,0.00001047462,0.0001390821,0.0001232751,0.002769439],"category_scores_gemma":[0.0002060328,0.0001066794,0.0000473699,0.00003963268,0.0003323198,0.00002766226,0.00008802546,0.0001300821,0.0002127394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008433385,"about_ca_system_score_gemma":0.000009565369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001780354,"about_ca_topic_score_gemma":0.000001442357,"domain_scores_codex":[0.9991815,0.00004656463,0.0002555084,0.0001879886,0.0001059518,0.0002225035],"domain_scores_gemma":[0.9991072,0.0004286003,0.0001311297,0.0002081332,0.00006090829,0.00006401602],"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.00008953858,0.0001253952,0.001935544,0.000240114,0.00006301489,0.00001343669,0.001200122,0.000001375652,0.0008332893,0.9693974,0.02294428,0.003156552],"study_design_scores_gemma":[0.0005831817,0.0002210554,0.003884484,0.00003840055,0.00003180348,0.00003195176,0.0007427444,0.00001013357,0.0008628969,0.9825615,0.0108578,0.000174101],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9501802,0.0003415045,0.0008624616,0.002444832,0.00009138375,0.0003000201,0.000007414869,0.0000651909,0.04570703],"genre_scores_gemma":[0.9824291,0.00006937383,0.01502923,0.0003942247,0.00007146771,0.00002879281,0.000001415703,0.00001594076,0.001960427],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04374661,"threshold_uncertainty_score":0.9981422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02127086282323093,"score_gpt":0.2794684834220449,"score_spread":0.258197620598814,"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."}}