{"id":"W1568465595","doi":"","title":"Review of 'John Bell, Set Theory: Boolean-Valued Models and Independence Proofs, 3rd Edition","year":2005,"lang":"en","type":"article","venue":"SSRN Electronic Journal","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Independence (probability theory); Mathematical economics; Set (abstract data type); Mathematics; Calculus (dental); Computer science; Discrete mathematics; Programming language; Statistics; Medicine","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.003409799,0.0009438171,0.001926876,0.004167045,0.001122093,0.004307653,0.002310374,0.003305902,0.01114323],"category_scores_gemma":[0.01268995,0.0009513488,0.0007012816,0.007267348,0.004340208,0.009507098,0.001372884,0.006746242,0.005789121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003990421,"about_ca_system_score_gemma":0.003985863,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009343109,"about_ca_topic_score_gemma":0.0114984,"domain_scores_codex":[0.9982316,0.0004994383,0.0001521633,0.000299701,0.0007327827,0.00008428347],"domain_scores_gemma":[0.9932882,0.004157873,0.0002250267,0.0002488195,0.001896183,0.0001839366],"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.00002246091,0.00002728519,0.0001239699,0.001405384,0.00002939443,0.00002819326,0.0001596565,0.0004564351,0.0001130536,0.09790644,0.8176038,0.082124],"study_design_scores_gemma":[0.000007918916,0.00001041178,0.0002475948,0.0007876208,0.00001240528,0.0001183594,0.00006790493,0.0001766127,0.00008294423,0.04272849,0.9557383,0.00002145921],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0001441359,0.9407259,0.004733009,0.03942608,0.008001831,0.000007079464,0.0001683953,0.00003534905,0.006758211],"genre_scores_gemma":[0.005236873,0.9260108,0.004154139,0.02212765,0.02953808,0.0000295599,0.0003000163,0.00008125512,0.0125215],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.01114323,"threshold_uncertainty_score":0.03727782,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01388932533966961,"score_gpt":0.2656397531211184,"score_spread":0.2517504277814488,"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."}}