{"id":"W4313240499","doi":"10.4153/s0008439522000753","title":"Sequential and distributive forcings without choice","year":2022,"lang":"en","type":"article","venue":"Canadian Mathematical Bulletin","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Axiom of choice; Mathematics; Axiom; Constructive set theory; Zermelo–Fraenkel set theory; Urelement; Equivalence (formal languages); Distributive property; Countable set; Forcing (mathematics); Mathematical economics; Axiom independence; Consistency (knowledge bases); Discrete mathematics; Pure mathematics; Set (abstract data type); Set theory; Computer science; Mathematical analysis","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00449091,0.000361247,0.0007000497,0.001239598,0.002349568,0.002015227,0.0006809965,0.0008833185,0.005515019],"category_scores_gemma":[0.005387211,0.0004341218,0.001461658,0.0008249183,0.007201601,0.004555339,0.002961625,0.001615156,0.000435747],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00202349,"about_ca_system_score_gemma":0.001282363,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002110001,"about_ca_topic_score_gemma":0.002408606,"domain_scores_codex":[0.9963667,0.0008145003,0.0002896807,0.0008508857,0.001276843,0.0004013412],"domain_scores_gemma":[0.9924098,0.003462488,0.0007281506,0.001588032,0.001117131,0.0006943697],"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.00005044751,0.00001798415,0.0005381216,0.00002094998,0.00001141433,0.00009250637,0.0001859209,0.001244652,0.001421595,0.9935776,0.0002441301,0.002594593],"study_design_scores_gemma":[0.00004993694,0.00004829887,0.0006882894,0.00002025234,0.00001469883,0.0001664681,0.0001055279,0.01155341,0.0018333,0.9787405,0.006759845,0.00001940218],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5041385,0.0006664983,0.3922095,0.002529641,0.0003110859,0.0001101472,0.0003743025,0.0003468227,0.09931351],"genre_scores_gemma":[0.9702713,0.00009661806,0.02179749,0.0002095632,0.0001524879,0.00008236328,0.0001042327,0.00003869961,0.007247261],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005515019,"threshold_uncertainty_score":0.02375048,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02590794931177459,"score_gpt":0.2887547828404374,"score_spread":0.2628468335286628,"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."}}