{"id":"W1974655024","doi":"10.2178/jsl/1203350778","title":"Stable definability and generic relations","year":2007,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Base (topology); Mathematics; Simple (philosophy); Set (abstract data type); Canonical form; Pure mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001296011,0.00006998944,0.0002043971,0.00008037162,0.00009433722,0.000005464077,0.00007639125,0.00008377229,0.0001057765],"category_scores_gemma":[0.0006625788,0.00005140186,0.00005269602,0.00009977078,0.0001193226,0.0001155421,0.00002397294,0.0002264248,0.000006394988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004490559,"about_ca_system_score_gemma":0.00003508398,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001127687,"about_ca_topic_score_gemma":0.000004643668,"domain_scores_codex":[0.9992617,0.00005573887,0.0003610795,0.0000675664,0.00009466628,0.0001592235],"domain_scores_gemma":[0.9989136,0.0005546827,0.0002457128,0.000111818,0.0001002094,0.00007401221],"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.00007967622,0.0001579215,0.01326394,0.00002935687,0.00004400938,0.00006511869,0.0008683596,0.00003325319,0.0008507462,0.9809371,0.0007665169,0.002903999],"study_design_scores_gemma":[0.0002587204,0.00008467418,0.01688783,0.00000843954,0.00003209557,0.0003756701,0.0003641762,0.000006863233,0.000246485,0.9804973,0.001180186,0.00005758605],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9316572,0.0008028545,0.0591421,0.0003541733,0.0001395269,0.00005309648,8.672326e-7,0.00001294169,0.007837256],"genre_scores_gemma":[0.9682911,0.00006225405,0.03085885,0.0001432293,0.000105688,4.116341e-7,1.759887e-7,0.000006337247,0.0005319735],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0366339,"threshold_uncertainty_score":0.2096107,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0500061341841212,"score_gpt":0.3326570201686403,"score_spread":0.2826508859845191,"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."}}