{"id":"W1600248067","doi":"10.2307/421214","title":"Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.","year":2000,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Categorical variable; Type (biology); Content (measure theory); Mathematics; Computer science; Mathematics education; Statistics; Mathematical analysis","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":[],"consensus_categories":[],"category_scores_codex":[0.00110119,0.0002922127,0.0007548717,0.00009547959,0.0001757232,0.00004735155,0.0006663542,0.0001210932,0.0002630074],"category_scores_gemma":[0.0006501573,0.0001769926,0.00008881041,0.0004243258,0.001271063,0.00008551829,0.0003757871,0.0002392442,0.00006924788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003017136,"about_ca_system_score_gemma":0.0000368483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003592386,"about_ca_topic_score_gemma":0.00000959021,"domain_scores_codex":[0.9978419,0.0003262508,0.0006846093,0.0004919902,0.0002796189,0.0003756197],"domain_scores_gemma":[0.9977667,0.001135634,0.0002591757,0.0005783573,0.0001898286,0.00007033518],"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.00005805799,0.0002999786,0.0002890468,0.0002027793,0.00006795344,0.00001993207,0.003572814,0.0001325631,0.00004067439,0.9586892,0.00112882,0.03549824],"study_design_scores_gemma":[0.00150223,0.0003258431,0.001437681,0.00009868848,0.00005346882,0.00009727171,0.001484969,0.0008970036,0.00004810755,0.9789431,0.01479382,0.0003178024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4607209,0.3282501,0.04784779,0.05135334,0.002443848,0.007011916,0.00003614887,0.0009890398,0.1013469],"genre_scores_gemma":[0.9721239,0.01300534,0.01206528,0.001183272,0.00006730533,0.00005742606,0.000003281401,0.00001659097,0.001477573],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5114031,"threshold_uncertainty_score":0.721755,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03089792881213636,"score_gpt":0.2875145548437843,"score_spread":0.2566166260316479,"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."}}