{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003782928,0.0003553869,0.0006901464,0.0001930401,0.00008552132,0.00003257925,0.0003066633,0.0004052313,0.00004552556],"category_scores_gemma":[0.0002092111,0.0003125611,0.0001907296,0.00002500402,0.0004524219,0.00002993241,0.0002408388,0.0005107576,0.000008911043],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001227461,"about_ca_system_score_gemma":0.00007959553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008173913,"about_ca_topic_score_gemma":0.0000021325,"domain_scores_codex":[0.9985116,0.0002782259,0.0002456027,0.0004376665,0.0002220571,0.0003049087],"domain_scores_gemma":[0.9982813,0.0009387423,0.0001424253,0.000422762,0.00005691161,0.000157844],"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.00004317177,0.0000265992,7.210191e-7,0.0004247271,0.0001205483,0.0001820753,0.00007397035,2.048854e-7,0.000002617139,0.9646059,0.03435912,0.0001602907],"study_design_scores_gemma":[0.0005428402,0.00004219686,0.000001679274,0.0002679174,0.0005695316,0.00002401215,0.00006257866,0.00006972344,0.00008605577,0.793024,0.2047955,0.000513925],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0002753548,0.0001576444,0.003221333,0.00001873497,0.00003184256,0.0002919734,0.00007403211,0.00006612807,0.995863],"genre_scores_gemma":[0.0006664686,0.00004577499,0.0005976309,0.0001029801,0.00003229979,0.000001166399,0.00001453813,0.00003214815,0.998507],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1715819,"threshold_uncertainty_score":0.9999326,"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."}}