{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007727017,0.0002684933,0.0002988617,0.0007740953,0.0008279829,0.001887805,0.0006271002,0.0004086403,0.002223614],"category_scores_gemma":[0.001232915,0.000124264,0.0003730274,0.0005846805,0.005073955,0.003096252,0.002156206,0.001131166,0.0002393811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009733017,"about_ca_system_score_gemma":0.0005505644,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004337609,"about_ca_topic_score_gemma":0.000529238,"domain_scores_codex":[0.999403,0.0001574499,0.00003295429,0.0001290433,0.000192937,0.0000846331],"domain_scores_gemma":[0.999203,0.0002801837,0.0001289787,0.0001147208,0.0001183829,0.0001546759],"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.00001550466,0.000007845145,0.0001578155,0.00001427871,0.000002131514,0.00003161542,0.0001743484,0.000352383,0.0006997201,0.9963784,0.0001106073,0.002055411],"study_design_scores_gemma":[0.000009723108,0.00002539848,0.0001856964,0.000008639808,0.000002465701,0.00005173859,0.000227952,0.0017942,0.0009483283,0.9926722,0.004068133,0.000005567543],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.61303,0.001658784,0.2857827,0.002798368,0.0002347785,0.00007762323,0.0001860193,0.0002076227,0.0960241],"genre_scores_gemma":[0.9695467,0.0002611101,0.02569482,0.000175109,0.00008785123,0.00003488025,0.00009686574,0.00001649384,0.00408614],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002223614,"threshold_uncertainty_score":0.007438719,"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."}}