{"id":"W1981966241","doi":"10.1007/s11787-013-0084-y","title":"A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra","year":2013,"lang":"en","type":"article","venue":"Logica Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary; The King's University; Western University","funders":"University of Calgary","keywords":"Mathematics; Forcing (mathematics); Kripke semantics; Order (exchange); Algebra over a field; Combinatorics; Pure mathematics; Intermediate logic; Mathematical analysis; Description logic","routes":{"ca_aff":true,"ca_fund":true,"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.002865909,0.001297883,0.002138637,0.002158615,0.004086088,0.003751012,0.002739538,0.002882708,0.009031215],"category_scores_gemma":[0.004833037,0.001326462,0.005682888,0.00184599,0.008954824,0.01843517,0.01114916,0.01021346,0.002171183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001952475,"about_ca_system_score_gemma":0.001538208,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002708249,"about_ca_topic_score_gemma":0.001708416,"domain_scores_codex":[0.9969249,0.0004791568,0.0002431446,0.001109897,0.0006607957,0.0005821358],"domain_scores_gemma":[0.9974483,0.001030809,0.00008719749,0.0006881992,0.0004945519,0.0002509759],"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.00003592471,0.0000214259,0.00009179323,0.00004659989,0.00002386576,0.0000661419,0.0002761954,0.0003799225,0.0008862984,0.9930055,0.00165578,0.003510647],"study_design_scores_gemma":[0.00002724412,0.00001469503,0.000113314,0.00001727647,0.00003309788,0.0001029756,0.00007058356,0.001665501,0.0008965486,0.9909875,0.006042145,0.00002911972],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05603781,0.001393683,0.7815481,0.009050178,0.002007425,0.0001791898,0.0009900976,0.001591726,0.1472017],"genre_scores_gemma":[0.8065155,0.001296205,0.145192,0.004410784,0.001611066,0.0005505785,0.001228914,0.001531073,0.03766393],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009031215,"threshold_uncertainty_score":0.0302124,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02164358199467545,"score_gpt":0.2343952923612789,"score_spread":0.2127517103666034,"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."}}