{"id":"W1996830918","doi":"10.1016/j.apal.2004.03.001","title":"Saturated models of intuitionistic theories","year":2004,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"McGill University","keywords":"Categorical variable; Mathematics; Intuitionistic logic; Filter (signal processing); Construct (python library); Pure mathematics; Algebra over a field; Topos theory; Discrete mathematics; Propositional calculus; Computer science; Statistics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"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.002548537,0.0009624509,0.001328869,0.002388653,0.002667551,0.006097461,0.001836505,0.002138411,0.01108553],"category_scores_gemma":[0.006489975,0.001414596,0.002078003,0.002552771,0.006372701,0.01501712,0.003221475,0.004597456,0.0009775511],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003178295,"about_ca_system_score_gemma":0.001639401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002425048,"about_ca_topic_score_gemma":0.003353684,"domain_scores_codex":[0.9976083,0.001085067,0.0001523515,0.0003054856,0.0006096814,0.0002391194],"domain_scores_gemma":[0.9939174,0.003905264,0.0003721565,0.0008265509,0.0006675101,0.0003111116],"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.000008101073,0.000006836467,0.00006143621,0.00001560475,0.000008090118,0.00001106671,0.0001613153,0.000430492,0.00005995612,0.9982931,0.000340885,0.0006031907],"study_design_scores_gemma":[0.000003869894,0.000001777529,0.00002327881,0.000003310133,0.000003683519,0.00000804682,0.0000219364,0.001229333,0.00003225944,0.9981047,0.0005653234,0.000002364768],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2054012,0.00482122,0.5294406,0.01247437,0.0003787841,0.0001177316,0.001341559,0.001022132,0.2450024],"genre_scores_gemma":[0.954681,0.000991716,0.02803845,0.0007596143,0.0003777699,0.0001121752,0.000679981,0.0001201887,0.01423921],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01108553,"threshold_uncertainty_score":0.03708482,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07420537336851178,"score_gpt":0.314725394603388,"score_spread":0.2405200212348762,"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."}}