{"id":"W2124433158","doi":"10.1093/philmat/nkl006","title":"JOHN L. BELL. Set Theory: Boolean-Valued Models and Independence Proofs. Oxford: Clarendon Press, 2005. Oxford Logic Guides, No. 47. Pp. xxii + 191. ISBN 0-19-856852-5, 987-0-19-856852-0 (pbk).","year":2006,"lang":"en","type":"article","venue":"Philosophia Mathematica","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Independence (probability theory); Axiom; Set theory; Mathematics; Axiom of choice; Set (abstract data type); Epistemology; Discrete mathematics; Philosophy; Computer science","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.001480593,0.001596057,0.001424858,0.004124335,0.00170473,0.003761584,0.001782835,0.002773296,0.04081544],"category_scores_gemma":[0.003352175,0.002153839,0.001128424,0.005773608,0.003675915,0.01076557,0.001547862,0.005596492,0.01605441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003995374,"about_ca_system_score_gemma":0.001997927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008406902,"about_ca_topic_score_gemma":0.01244134,"domain_scores_codex":[0.9989781,0.0002099131,0.0000825411,0.0001534349,0.0005094498,0.00006661333],"domain_scores_gemma":[0.9978791,0.001301972,0.0001739912,0.0001391586,0.0003719906,0.0001337242],"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.00002663948,0.00003094946,0.0001541262,0.0006583376,0.00002951594,0.00007840135,0.0004562168,0.0004806548,0.0001730657,0.220302,0.6884525,0.08915763],"study_design_scores_gemma":[0.00001348993,0.00001619288,0.000513865,0.000925242,0.00002286975,0.0001936363,0.0001475719,0.0005178274,0.0001230551,0.2604896,0.7370067,0.00002996252],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0006176757,0.7911074,0.02858998,0.03018272,0.004594447,0.00004509253,0.0009708928,0.0005159765,0.1433759],"genre_scores_gemma":[0.03882476,0.6798475,0.04630302,0.01422662,0.009406496,0.0003526665,0.001885005,0.00095323,0.2082007],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.04081544,"threshold_uncertainty_score":0.1365412,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04274098801633263,"score_gpt":0.2721191160893138,"score_spread":0.2293781280729812,"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."}}