{"id":"W2260577857","doi":"10.2178/bsl/1203350881","title":"Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity. Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp.","year":2007,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Proof theory; Model theory; Computability; Mathematical logic; Computability theory; Mathematics; Calculus (dental); Computer science; Cognitive science; Discrete mathematics; Algorithm; Psychology; 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.003935582,0.0004771716,0.0007731318,0.000299687,0.0002354997,0.0001050992,0.00153627,0.0002974632,0.0001134671],"category_scores_gemma":[0.0002877139,0.0004248342,0.0001169884,0.0006706464,0.000663075,0.0002371052,0.001036709,0.0004593496,0.00001127727],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000250031,"about_ca_system_score_gemma":0.0001190962,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002824292,"about_ca_topic_score_gemma":0.0007100212,"domain_scores_codex":[0.9961081,0.0005821693,0.0006881283,0.001316273,0.0004000823,0.0009052339],"domain_scores_gemma":[0.9977392,0.0003992343,0.0002946272,0.001010207,0.0002347853,0.000321948],"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.0004735522,0.001647694,0.006310808,0.0001364764,0.00002352378,0.00006749567,0.00249336,0.01072195,0.00004791065,0.9678259,0.002643907,0.007607406],"study_design_scores_gemma":[0.003972869,0.001840396,0.08487315,0.0001747537,0.0000612055,0.0001678344,0.001162734,0.06305949,0.0002743868,0.7674177,0.07541233,0.001583093],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3986738,0.003093793,0.5352847,0.01825157,0.0006816508,0.003994233,0.00004579432,0.0006139105,0.03936049],"genre_scores_gemma":[0.9800687,0.0001735925,0.01826758,0.0005591857,0.0001895382,0.00001373088,0.0000139219,0.00002302814,0.0006907264],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5813949,"threshold_uncertainty_score":0.9998204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02448580694802018,"score_gpt":0.2523356053962202,"score_spread":0.2278497984482001,"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."}}