{"id":"W2505859840","doi":"10.1017/cbo9780511615559","title":"Lectures in Logic and Set Theory","year":2003,"lang":"en","type":"book","venue":"Cambridge University Press eBooks","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":47,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Gödel; Class (philosophy); Computability; Gödel's incompleteness theorems; Computability theory; Computer science; Universal set; Relation (database); Proof assistant; Presentation (obstetrics); Calculus (dental); Set (abstract data type); Mathematics; Discrete mathematics; Programming language; Artificial intelligence","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.0004373021,0.0009724675,0.0006514467,0.001077738,0.001189776,0.003201333,0.0006197814,0.0006639488,0.08989614],"category_scores_gemma":[0.001379823,0.0002940693,0.000548262,0.001554318,0.0009851082,0.002979797,0.001278596,0.002406894,0.03597792],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002399643,"about_ca_system_score_gemma":0.00132822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001313696,"about_ca_topic_score_gemma":0.002568244,"domain_scores_codex":[0.9996256,0.00007199249,0.00001437032,0.00006289892,0.0001750001,0.00005009405],"domain_scores_gemma":[0.9995629,0.0001409566,0.00002970337,0.00005352989,0.0001171104,0.00009572887],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002631972,0.00003416927,0.0001577564,0.0001934509,0.000007700571,0.00006718245,0.0004952417,0.0003990202,0.000926603,0.2756536,0.6013818,0.1206571],"study_design_scores_gemma":[0.000002620061,0.000009287106,0.0002608677,0.0001028761,0.000002477101,0.00008388382,0.00006198821,0.0001565681,0.0001264724,0.04840037,0.9507895,0.000003088438],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001549181,0.04153962,0.01437053,0.008195657,0.006325683,0.00002728441,0.0006448335,0.0007624337,0.9265847],"genre_scores_gemma":[0.01824804,0.01380159,0.005537638,0.002410521,0.002502246,0.00005690463,0.0006674594,0.000466518,0.9563091],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.08989614,"threshold_uncertainty_score":0.3007326,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0318009861411278,"score_gpt":0.2348884974677402,"score_spread":0.2030875113266124,"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."}}