{"id":"W1975072530","doi":"10.1017/jsl.2013.6","title":"THE NON-AXIOMATIZABILITY OF O-MINIMALITY","year":2014,"lang":"en","type":"preprint","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Ultraproduct; Predicate (mathematical logic); Mathematics; Discrete mathematics; Field (mathematics); Lambda; Function (biology); Pure mathematics; Computer science; Programming language; 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.002355803,0.0002866395,0.0005460539,0.0008725205,0.001493701,0.002194172,0.0009111666,0.0007409383,0.00203666],"category_scores_gemma":[0.006152204,0.0005384352,0.0008139474,0.0004222642,0.005129272,0.005743068,0.002837961,0.002122921,0.0002838236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00113677,"about_ca_system_score_gemma":0.0008296747,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005772403,"about_ca_topic_score_gemma":0.000835739,"domain_scores_codex":[0.9978968,0.0005984651,0.0002009181,0.0005360185,0.0004992787,0.0002685511],"domain_scores_gemma":[0.9926493,0.004287109,0.0006404603,0.001033437,0.0009016335,0.0004881458],"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.0001429635,0.00005325531,0.003031891,0.0001274211,0.00003515723,0.0003668139,0.001048567,0.001361856,0.009200074,0.9769161,0.0005632644,0.007152582],"study_design_scores_gemma":[0.00004799001,0.0001306705,0.001852334,0.0000652305,0.00005321858,0.0005917877,0.0006477768,0.007675499,0.01174902,0.9698653,0.007281835,0.0000393634],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.7673703,0.0006498517,0.2003537,0.001887622,0.00009243636,0.00006817396,0.0002846252,0.0005297374,0.02876358],"genre_scores_gemma":[0.9770218,0.00009927841,0.02025016,0.0002481368,0.0000492666,0.00004118943,0.0001447659,0.00004772251,0.00209769],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.002355803,"threshold_uncertainty_score":0.0124588,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04777648843684087,"score_gpt":0.3655443530777672,"score_spread":0.3177678646409263,"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."}}