{"id":"W2979890978","doi":"10.1017/cbo9780511615566","title":"Lectures in Logic and Set Theory","year":2003,"lang":"en","type":"book","venue":"Cambridge University Press eBooks","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Absoluteness; Set theory; Computer science; Consistency (knowledge bases); Recursion (computer science); Proof theory; Presentation (obstetrics); Set (abstract data type); Topos theory; Context (archaeology); Computability theory; Class (philosophy); Foundations of mathematics; Calculus (dental); Mathematical logic; Mathematics; Mathematics education; Programming language; Artificial intelligence; Algorithm; Mathematical proof","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004645872,0.0004541322,0.0005382409,0.0003509648,0.0001494181,0.000142015,0.00152736,0.0004346186,0.000002139792],"category_scores_gemma":[0.00004436037,0.000497051,0.000139236,0.00005337264,0.0003519203,0.0001686227,0.001450277,0.0007144375,0.000005806735],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004433164,"about_ca_system_score_gemma":0.0004223295,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005194177,"about_ca_topic_score_gemma":0.000005820348,"domain_scores_codex":[0.9974891,0.0004621483,0.0002250609,0.001063766,0.0002998179,0.0004601258],"domain_scores_gemma":[0.9981194,0.0003956843,0.0001689722,0.001027293,0.0001066753,0.000182037],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001972486,0.00002093272,0.00001056351,0.00008473177,0.00003696299,0.000502517,0.0001918165,0.00003057555,0.000004479952,0.9631815,0.03122558,0.004690634],"study_design_scores_gemma":[0.00131461,0.0001853898,0.0003608017,0.0001494667,0.0000798672,0.0001575984,0.00003705592,0.003203443,0.0001200912,0.01214419,0.9809306,0.001316885],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000141971,0.0006099148,0.08047594,0.00003115518,0.0003706871,0.0005133763,0.00004482194,0.0002143732,0.9175978],"genre_scores_gemma":[0.0005518787,0.00005738623,0.003388955,0.0002875872,0.00006546267,0.000001335035,0.00001412244,0.00002360799,0.9956096],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.9510373,"threshold_uncertainty_score":0.9997481,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02003683342772577,"score_gpt":0.2036835025260376,"score_spread":0.1836466690983118,"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."}}