{"id":"W2075300940","doi":"10.1007/s11225-013-9519-y","title":"Remarks on the Scott–Lindenbaum Theorem","year":2013,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Dalhousie University","funders":"","keywords":"Generalization; Subject (documents); Order (exchange); Inference; Logical consequence; Epistemology; Computer science; Mathematical logic; Rule of inference; Mathematics; Mathematical economics; Calculus (dental); Algebra over a field; Philosophy; Artificial intelligence; Algorithm; Pure mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005110636,0.0001906491,0.0001886379,0.00003940869,0.0003976969,0.0002377224,0.001452263,0.00007920203,0.0004229816],"category_scores_gemma":[0.0002872585,0.00009322726,0.0001068874,0.0003095368,0.0001381292,0.0001624743,0.0005071572,0.0002537604,0.003394043],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003240875,"about_ca_system_score_gemma":0.00005280635,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000208852,"about_ca_topic_score_gemma":0.00001124131,"domain_scores_codex":[0.9985086,0.0001817819,0.0001800565,0.0004359914,0.0002811639,0.0004124623],"domain_scores_gemma":[0.9983538,0.0005024847,0.00008741673,0.0008494098,0.0001151489,0.00009178693],"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.000002531636,0.00008802205,0.000685295,0.000002259856,0.00002211987,0.000007851581,0.0008584519,0.000002875692,0.0000750372,0.9413832,0.04820098,0.008671332],"study_design_scores_gemma":[0.001079676,0.001236462,0.1664489,0.00008804709,0.00002907823,0.00003588012,0.0009840756,0.003047714,0.001371138,0.7172443,0.1072674,0.001167303],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02128058,0.0004263779,0.01148781,0.007681669,0.0007966954,0.0005638523,8.392889e-7,0.0002797389,0.9574825],"genre_scores_gemma":[0.994293,0.00004993102,0.001243413,0.001901015,0.0002209269,0.00008316088,5.789919e-7,0.000007723673,0.002200282],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9730124,"threshold_uncertainty_score":0.9973819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02004094291187576,"score_gpt":0.2323315146845149,"score_spread":0.2122905717726392,"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."}}