{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002342067,0.0001127008,0.0003785185,0.00004264511,0.00004216519,0.00001010154,0.00009496755,0.00007485284,0.0001349332],"category_scores_gemma":[0.0001131307,0.00007315994,0.00008236689,0.0001684487,0.0003068704,0.00003115084,0.00004379778,0.0000728399,0.000004990159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000176148,"about_ca_system_score_gemma":0.00001099595,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002978132,"about_ca_topic_score_gemma":0.000001793354,"domain_scores_codex":[0.9992325,0.0000167145,0.0003282641,0.0001301113,0.0001546847,0.0001377332],"domain_scores_gemma":[0.9993377,0.0002229212,0.0001289053,0.0001597285,0.00009440193,0.0000563696],"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.00002974983,0.000160474,7.012518e-7,0.0002366894,0.00006017702,8.601136e-7,0.0002560942,0.0000670137,0.0008999713,0.9977461,0.00003791498,0.0005042321],"study_design_scores_gemma":[0.0001651617,0.0000646546,0.000004937564,0.00004651138,0.00006366517,0.000001720794,0.0001953759,0.00010206,0.02004191,0.9792235,0.00000680706,0.00008364375],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6214271,0.0004697373,0.1934299,0.002895032,0.00002498318,0.0004520238,0.00005843498,0.00009997543,0.1811428],"genre_scores_gemma":[0.995324,0.00005930977,0.004373472,0.0001592754,0.0000158848,0.000008515573,0.000004662619,0.000006783656,0.0000480995],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3738969,"threshold_uncertainty_score":0.2983376,"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."}}