{"id":"W2072020033","doi":"10.2307/2695059","title":"Definability in low simple theories","year":2000,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Simple (philosophy); Mathematics; Bounded function; Context (archaeology); Model theory; Equivalence relation; Class (philosophy); Equivalence (formal languages); Pure mathematics; Discrete mathematics; Combinatorics; Computer science; Mathematical analysis; Epistemology","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.0008907774,0.0001024853,0.0003439723,0.00007479864,0.0000496266,0.000007060818,0.000190305,0.00009964828,0.001579736],"category_scores_gemma":[0.0005905113,0.00007237065,0.0001033115,0.000126986,0.0001713627,0.0001403857,0.00001593744,0.0003180879,0.00003028394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005306408,"about_ca_system_score_gemma":0.00004862763,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002997518,"about_ca_topic_score_gemma":0.00001076588,"domain_scores_codex":[0.9989347,0.0001778251,0.0004756882,0.00008762034,0.0001189372,0.0002051794],"domain_scores_gemma":[0.9990015,0.0005380561,0.0001734525,0.0001760055,0.00005864364,0.00005232666],"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.0002573123,0.0003492176,0.005286887,0.00005146558,0.00002476964,0.0001304842,0.001482092,0.0001993676,0.00006555866,0.9825602,0.0002518256,0.009340887],"study_design_scores_gemma":[0.0004405751,0.0001056823,0.005301672,0.00002483114,0.00001167301,0.0001833389,0.0003084509,0.000008748288,0.0001844368,0.9927445,0.0006099513,0.00007610618],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9865123,0.0002408176,0.0009187492,0.0004512001,0.00008275868,0.00006651883,0.000001628156,0.00001364501,0.01171238],"genre_scores_gemma":[0.9971169,0.00009611266,0.002021715,0.0002724953,0.0001055854,0.000001665437,2.938079e-7,0.000008161944,0.0003771092],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01133527,"threshold_uncertainty_score":0.999333,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02323994967720576,"score_gpt":0.3232181049454415,"score_spread":0.2999781552682357,"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."}}