{"id":"W4388372864","doi":"10.1093/oso/9780198500513.001.0001","title":"Mathematical Logic","year":2001,"lang":"en","type":"book","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Foundations of mathematics; Recursion (computer science); Gödel; Computer science; Axiom; Theme (computing); Mathematical logic; Set theory; Set (abstract data type); Section (typography); Gödel's incompleteness theorems; Calculus (dental); Mathematics; Algebra over a field; Programming language; Mathematics education; Pure mathematics","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.0008434943,0.0009156644,0.0008758094,0.001564629,0.002182497,0.00603448,0.001254206,0.001415013,0.03568706],"category_scores_gemma":[0.002305659,0.0004908368,0.0008326668,0.002189049,0.004070142,0.006854602,0.002120974,0.004055936,0.01705373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003450412,"about_ca_system_score_gemma":0.001637654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001423681,"about_ca_topic_score_gemma":0.00131005,"domain_scores_codex":[0.9990401,0.0002179148,0.00008048791,0.0002085986,0.0003864039,0.00006638958],"domain_scores_gemma":[0.9991586,0.0003161184,0.00005614935,0.0001814133,0.0002345501,0.00005328103],"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.000002977185,0.000003978173,0.00002645012,0.00008083399,0.000003878259,0.00002492479,0.0001368863,0.0002031137,0.00009024006,0.9563411,0.02953459,0.01355099],"study_design_scores_gemma":[0.000002868335,0.00000328981,0.0000523258,0.00009231205,0.000003036148,0.00009046288,0.00004192632,0.0003680573,0.00008898482,0.5612407,0.4380115,0.000004580143],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001543942,0.02310674,0.07529097,0.009136027,0.001558058,0.00009119618,0.001467565,0.000579228,0.8872262],"genre_scores_gemma":[0.1427131,0.04299615,0.1124384,0.009168994,0.00392262,0.0004854673,0.005043264,0.0008506576,0.6823813],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03568706,"threshold_uncertainty_score":0.1193851,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02647287355906199,"score_gpt":0.2470737846053226,"score_spread":0.2206009110462606,"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."}}