{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001709681,0.001157692,0.001251508,0.0002827035,0.0008242176,0.0005683201,0.00279643,0.0005235348,0.0001693376],"category_scores_gemma":[0.0005003571,0.0009709751,0.0003264535,0.000566802,0.0005680511,0.002244898,0.001510895,0.0009278963,0.000218514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001969237,"about_ca_system_score_gemma":0.0002546697,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000594952,"about_ca_topic_score_gemma":0.00001574155,"domain_scores_codex":[0.992864,0.0004147489,0.001545525,0.001962882,0.001533014,0.001679823],"domain_scores_gemma":[0.9950442,0.000644001,0.0008477452,0.002431144,0.0003587422,0.0006741179],"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.00008168529,0.0004357323,0.00002933031,0.0004718406,0.00008333852,0.0001280682,0.0005122605,0.001571358,0.0001927884,0.9854383,0.009950073,0.001105188],"study_design_scores_gemma":[0.001219893,0.000263368,0.00002665526,0.0001992494,0.00009585769,0.0002448836,0.00003713985,0.07274735,0.0005803814,0.9074922,0.01599391,0.001099069],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003042896,0.01191957,0.874719,0.007930843,0.0007235121,0.003464664,0.0001698323,0.001922281,0.09610737],"genre_scores_gemma":[0.7055327,0.002873846,0.279495,0.004540059,0.001662233,0.0008551025,0.0001654736,0.0003109151,0.004564675],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7024899,"threshold_uncertainty_score":0.9992741,"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."}}