{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00153254,0.0004283852,0.0007897591,0.002153421,0.002077633,0.003339529,0.0008162537,0.0007601127,0.004754654],"category_scores_gemma":[0.003776744,0.0005559988,0.001136353,0.00123522,0.006083455,0.005939202,0.003456725,0.003534276,0.0007492708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003044011,"about_ca_system_score_gemma":0.0008201711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001214789,"about_ca_topic_score_gemma":0.001133223,"domain_scores_codex":[0.9979982,0.000491344,0.0001381531,0.0003787366,0.0007796573,0.0002139998],"domain_scores_gemma":[0.9975412,0.001355074,0.0002236116,0.000285116,0.0003964326,0.0001986062],"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.0000118673,0.000008262334,0.0002756023,0.00003676839,0.000005622436,0.00003730248,0.0003512095,0.0001999933,0.0004717426,0.9945282,0.0004057157,0.003667587],"study_design_scores_gemma":[0.0000109625,0.00001661025,0.0002498146,0.00001896261,0.000006577946,0.00005895727,0.00007839839,0.001642627,0.0005388155,0.9887885,0.008582828,0.000006847305],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3366067,0.008023996,0.3056096,0.005950722,0.0004610846,0.0001770785,0.0008053032,0.0007798866,0.3415856],"genre_scores_gemma":[0.9437295,0.001034362,0.03414409,0.0006589169,0.0004455718,0.0001331237,0.0005903092,0.00008879622,0.01917523],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004754654,"threshold_uncertainty_score":0.02208596,"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."}}