{"id":"W2594069757","doi":"10.2178/jsl/1174668399","title":"Forcing indestructibility of set-theoretic axioms","year":2007,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Axiom; Forcing (mathematics); Consistency (knowledge bases); Countable set; Hierarchy; Set (abstract data type); Mathematics; Set theory; Zermelo–Fraenkel set theory; Mathematical economics; Discrete mathematics; Algebra over a field; Pure mathematics; Computer science; Axiom of choice; Geometry; Mathematical analysis; Programming language; Economics","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.007161429,0.0004815122,0.001292561,0.002409365,0.00223556,0.003770972,0.002584223,0.001627553,0.003903368],"category_scores_gemma":[0.01965173,0.001032101,0.002323199,0.001458679,0.01022186,0.007475107,0.006244042,0.00605497,0.0004777033],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00173139,"about_ca_system_score_gemma":0.001258299,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007851701,"about_ca_topic_score_gemma":0.0008298118,"domain_scores_codex":[0.9940438,0.001379352,0.0006540372,0.001405599,0.001806868,0.0007104601],"domain_scores_gemma":[0.9721797,0.01380192,0.001705623,0.008241901,0.003071118,0.0009997938],"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.00008639145,0.00005275043,0.001458908,0.00009799063,0.00005561518,0.0003303814,0.0007583053,0.002616154,0.003750028,0.9821576,0.0004964819,0.008139242],"study_design_scores_gemma":[0.00003547625,0.00006517032,0.0008526418,0.00003491575,0.00004291967,0.0004059933,0.0001959733,0.008646678,0.007747527,0.9779766,0.003965397,0.00003069379],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4443658,0.0007406882,0.4799349,0.00368132,0.0003801798,0.0001344472,0.0006541555,0.001389966,0.06871841],"genre_scores_gemma":[0.9605104,0.0001955547,0.03419937,0.0004165912,0.0002052235,0.00007640078,0.0003054411,0.0001052237,0.003985972],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007161429,"threshold_uncertainty_score":0.03787369,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05022263839091771,"score_gpt":0.3662132275233379,"score_spread":0.3159905891324202,"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."}}