{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003082598,0.0001576527,0.0002701388,0.00008395065,0.0001699868,0.00003055939,0.0003855646,0.00005431993,0.00001114475],"category_scores_gemma":[0.00007065939,0.0001269475,0.00006768197,0.0002048239,0.00006386332,0.001864364,0.0001366259,0.0008675608,0.000006783192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001801767,"about_ca_system_score_gemma":0.0009353856,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001108067,"about_ca_topic_score_gemma":0.00006911762,"domain_scores_codex":[0.997798,0.0001862808,0.0004142429,0.0002685217,0.000388392,0.000944515],"domain_scores_gemma":[0.9990156,0.00004219178,0.0003394466,0.0003520182,0.0001651392,0.00008554789],"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.00001156818,0.00002041385,0.000008656664,0.0002040803,0.0000298369,0.000001583367,0.0001257194,0.0001098691,0.00007193625,0.9339784,0.0004818275,0.06495609],"study_design_scores_gemma":[0.0009456849,0.0005936053,0.00002806584,0.004575623,0.00005921409,0.002508038,0.000441808,0.01535235,0.001118426,0.9405953,0.03323476,0.0005471461],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005632832,0.1326131,0.8655057,0.0006632754,0.00009747697,0.0001856278,0.00001009384,0.00003188028,0.0003295624],"genre_scores_gemma":[0.5316043,0.4142846,0.05037303,0.00175099,0.00104067,0.00003756249,0.00002761503,0.00004552939,0.0008356843],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8151327,"threshold_uncertainty_score":0.5176768,"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."}}