{"id":"W2001758601","doi":"10.2178/bsl/1174668216","title":"Incompleteness in a General Setting","year":2007,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Mathematical proof; Predicate (mathematical logic); Mathematics; Property (philosophy); Formal system; Syntax; Gödel's incompleteness theorems; Discrete mathematics; Algebra over a field; Pure mathematics; Mathematical economics; Calculus (dental); Linguistics; Computer science; Epistemology; Programming language; Philosophy; Gödel","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.0005926424,0.0001381115,0.0002463487,0.0001636724,0.00005027494,0.00001949627,0.0007114557,0.00007253049,0.0000761631],"category_scores_gemma":[0.00008167109,0.0001196639,0.00006072501,0.0003589679,0.00006522515,0.0000452969,0.000270524,0.0001422065,0.00008199413],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003561687,"about_ca_system_score_gemma":0.00002494651,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009100101,"about_ca_topic_score_gemma":0.000009990446,"domain_scores_codex":[0.9985892,0.00005315975,0.0003968718,0.0003289061,0.0002037558,0.0004280922],"domain_scores_gemma":[0.9992269,0.0001632352,0.0001332382,0.0003574668,0.00004874366,0.00007041902],"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.00002802382,0.0002783088,0.01097407,0.00007104262,0.00001342435,0.0003057897,0.001194471,0.001442596,0.006391446,0.8611356,0.001240127,0.1169251],"study_design_scores_gemma":[0.00358829,0.0005500789,0.3855801,0.0002256564,0.00001231093,0.0002927449,0.0005153982,0.00691327,0.01236367,0.4115628,0.1767809,0.001614759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4724969,0.000549114,0.4868529,0.004080612,0.0003622379,0.0003082972,0.000001728625,0.0002169704,0.03513129],"genre_scores_gemma":[0.8952947,0.00001144032,0.1028495,0.001540783,0.00008793359,0.000006298338,0.000001472621,0.000007028899,0.0002008272],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4495728,"threshold_uncertainty_score":0.4879753,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01246683993135471,"score_gpt":0.2531375562636439,"score_spread":0.2406707163322891,"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."}}