{"meta":{"query_hash":"1386fa49e501","filters":{"venue":"Studies in universal logic"},"cohort_total":5,"direct_labels_cover":0,"predictions_cover":5,"exported":5,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/1386fa49e501","api":"https://metacan.xera.ac/api/v1/cohort?venue=Studies+in+universal+logic"},"results":[{"id":"W2477682768","doi":"10.1007/978-3-319-22087-1_4","title":"Kronecker’s Foundational Programme in Contemporary Mathematics","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Kronecker delta; Mathematics; Algebra over a field; Algebraic number; Pure mathematics; Mathematical analysis; Physics","score_opus":0.37121986789176553,"score_gpt":0.3980378208204076,"score_spread":0.026817952928642086,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2477682768","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.01552815,0.023577325,0.037359513,0.008617312,0.0015036067,0.000022496915,0.00018118382,0.00012007152,0.9130903],"genre_scores_gemma":[0.53891903,0.018606247,0.013346869,0.0021060368,0.0017575539,0.00009602514,0.00019171952,0.00022797262,0.4247486],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.999708,0.00012316473,0.000015465825,0.000045862416,0.00007357631,0.00003398209],"domain_scores_gemma":[0.9995603,0.00025196464,0.00002446847,0.00006957892,0.00006779079,0.000025868463],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007416861,0.00041165893,0.0003249203,0.0011861699,0.0015001391,0.003265375,0.00044486122,0.0009426344,0.008637218],"category_scores_gemma":[0.0014732758,0.00028478281,0.00024612583,0.0014204605,0.007927918,0.00619871,0.0011139096,0.002474654,0.0014895571],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000016736973,0.0000023793434,0.000014482952,0.000008550657,4.236801e-7,0.000004275444,0.00015882893,0.000041568157,0.000020232985,0.99486035,0.0022899443,0.0025972608],"study_design_scores_gemma":[0.000002518162,0.0000034883751,0.00010114034,0.00003703992,0.0000013817311,0.000039116618,0.00009885718,0.00014956086,0.00007496969,0.904278,0.095209986,0.0000039966244],"about_ca_topic_score_codex":0.0021826604,"about_ca_topic_score_gemma":0.0033177084,"teacher_disagreement_score":0.008637218,"about_ca_system_score_codex":0.0024518531,"about_ca_system_score_gemma":0.0012378478,"threshold_uncertainty_score":0.028894365},"labels":[],"label_agreement":null},{"id":"W2480076450","doi":"10.1007/978-3-319-22087-1_1","title":"Introduction: The Internal Logic of Arithmetic","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Arithmetic; Computer science; Mathematics","score_opus":0.06705543254667436,"score_gpt":0.30100694301819375,"score_spread":0.2339515104715194,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2480076450","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0011077662,0.09362701,0.021978777,0.00862661,0.008356354,0.000041150342,0.0006229361,0.0003014926,0.8653378],"genre_scores_gemma":[0.052500673,0.10267773,0.024308376,0.008111701,0.020455748,0.00017905817,0.0014235453,0.0007422923,0.78960085],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.99974793,0.000055202887,0.000013161132,0.000056133522,0.000105127576,0.00002249281],"domain_scores_gemma":[0.99963593,0.00021943456,0.000014547659,0.000028060715,0.000080443955,0.000021630332],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003982281,0.0010342397,0.00060176104,0.0014917537,0.0010093912,0.0031333622,0.0009313697,0.001105879,0.038712047],"category_scores_gemma":[0.001045973,0.00038976045,0.0005763812,0.0017592014,0.0026982273,0.004413936,0.0009976646,0.0035214415,0.011131882],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000008407923,0.000018641736,0.000051052524,0.0002011279,0.0000037227617,0.000024629067,0.00028301086,0.00026377372,0.00023682912,0.8318902,0.12623511,0.04078345],"study_design_scores_gemma":[0.0000032877379,0.000008289386,0.00011635624,0.00025767586,0.000003680733,0.00008457254,0.000060009814,0.00020822558,0.000097097436,0.34670228,0.65244997,0.000008527516],"about_ca_topic_score_codex":0.0015110528,"about_ca_topic_score_gemma":0.0019999375,"teacher_disagreement_score":0.038712047,"about_ca_system_score_codex":0.0017247808,"about_ca_system_score_gemma":0.0010263954,"threshold_uncertainty_score":0.12950474},"labels":[],"label_agreement":null},{"id":"W2481447568","doi":"10.1007/978-3-319-22087-1_7","title":"The Internal Consistency of Arithmetic with Infinite Descent: A Syntactical Proof","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Second-order arithmetic; Peano axioms; Mathematics; Transfinite number; Axiom; Consistency (knowledge bases); Gödel's incompleteness theorems; Mathematical induction; Algebra over a field; Reverse mathematics; Arithmetic function; Completeness (order theory); Calculus (dental); Discrete mathematics; Arithmetic; Pure mathematics; Computer science; Gödel","score_opus":0.1325774809664702,"score_gpt":0.33502390223778794,"score_spread":0.20244642127131773,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2481447568","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.033526063,0.0065904134,0.49392226,0.022228217,0.002238043,0.00011136993,0.0005855684,0.0006236816,0.44017437],"genre_scores_gemma":[0.82685536,0.005048958,0.104191996,0.005325368,0.0033628084,0.00038510893,0.00065791595,0.00092008186,0.053252358],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9985876,0.0004768769,0.00009973863,0.00020692356,0.0005020493,0.00012689193],"domain_scores_gemma":[0.997303,0.0017154382,0.00010190572,0.00041342294,0.00040423984,0.00006204465],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0024349517,0.001119471,0.0012152907,0.0016209787,0.0024532953,0.0038272643,0.002859124,0.0025798746,0.006137522],"category_scores_gemma":[0.005420855,0.0011693059,0.0023708788,0.0021139083,0.012795956,0.014949944,0.004046503,0.010881096,0.0012669064],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000032490175,0.0000046117993,0.000016684753,0.000015881122,0.000002150771,0.000011311713,0.00008223918,0.000085786334,0.00007373097,0.99766195,0.00083121075,0.0012112069],"study_design_scores_gemma":[0.000003942621,0.0000020519383,0.000030659587,0.0000131150755,0.000005125848,0.000019808009,0.000021271999,0.00042501217,0.00012889656,0.99669313,0.0026532956,0.0000035955154],"about_ca_topic_score_codex":0.001359731,"about_ca_topic_score_gemma":0.00102208,"teacher_disagreement_score":0.006137522,"about_ca_system_score_codex":0.002497906,"about_ca_system_score_gemma":0.0017038025,"threshold_uncertainty_score":0.020532072},"labels":[],"label_agreement":null},{"id":"W2494919598","doi":"10.1007/978-3-319-22087-1_5","title":"Arithmetical Foundations for Physical Theories","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Quantum Mechanics and Applications","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Von Neumann architecture; Formalism (music); Mathematical practice; Theoretical physics; Mathematics; Algebra over a field; Epistemology; Pure mathematics; Philosophy; Physics","score_opus":0.09941756727923887,"score_gpt":0.35865165480855465,"score_spread":0.25923408752931576,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2494919598","genre_codex":"other","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.004853974,0.0499372,0.04976322,0.007908977,0.0013747346,0.000022977933,0.00027286747,0.00023805375,0.885628],"genre_scores_gemma":[0.44715604,0.07308035,0.054681256,0.0045723575,0.0075384933,0.0002716106,0.0012358589,0.00052994466,0.41093412],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.9996784,0.00009623094,0.000017418184,0.000040216415,0.00013750415,0.000030285431],"domain_scores_gemma":[0.99956554,0.00028062763,0.00002104051,0.000049645238,0.00006505437,0.000018044593],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00051212293,0.0009414824,0.000540526,0.0014134147,0.0013708894,0.0034346227,0.0009407959,0.0009701849,0.016063042],"category_scores_gemma":[0.0013674097,0.00039061802,0.0004698036,0.0017276816,0.0049316166,0.006023793,0.0011662847,0.0039160885,0.0033315432],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0000017438598,0.0000034914353,0.000008090054,0.000026002213,9.852996e-7,0.0000051642105,0.00007162166,0.00011687897,0.000054087934,0.9903134,0.004949494,0.0044489186],"study_design_scores_gemma":[0.0000016495655,0.0000013849293,0.000025940288,0.000023452892,9.868143e-7,0.000012053499,0.0000213819,0.00019914114,0.000026356076,0.9674123,0.03227322,0.0000020460766],"about_ca_topic_score_codex":0.0012291917,"about_ca_topic_score_gemma":0.0013213255,"teacher_disagreement_score":0.016063042,"about_ca_system_score_codex":0.0024099355,"about_ca_system_score_gemma":0.00083125057,"threshold_uncertainty_score":0.05373621},"labels":[],"label_agreement":null},{"id":"W4315697839","doi":"10.1007/978-3-030-94452-0_8","title":"Lewis Carroll’s Almost Diagrammatic Logic Notation","year":2022,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Data Visualization and Analytics","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Bishop's University","funders":"","keywords":"Diagrammatic reasoning; Notation; Symbol (formal); Computer science; Object (grammar); Proposition; Mathematics; Epistemology; Programming language; Artificial intelligence; Arithmetic; Philosophy","score_opus":0.09019739851246239,"score_gpt":0.32589037987366415,"score_spread":0.23569298136120176,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W4315697839","genre_codex":"other","genre_gemma":"other","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"other","genre_consensus":"other","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0014822426,0.0061816764,0.46195698,0.008493697,0.0020862205,0.00007843965,0.0005293909,0.0014893401,0.51770204],"genre_scores_gemma":[0.16267173,0.01146455,0.40369922,0.0070056827,0.0020717185,0.0004327585,0.0008126951,0.002086721,0.409755],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99899,0.00038132654,0.000056389552,0.00020882461,0.00028805537,0.00007532161],"domain_scores_gemma":[0.99891996,0.0005381594,0.00004754755,0.00015188598,0.00028307785,0.000059459213],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009001348,0.0010198598,0.00055239967,0.0032407101,0.001833649,0.005884234,0.0014438124,0.0012763306,0.031645045],"category_scores_gemma":[0.0042507784,0.0005531927,0.0007732541,0.0042032,0.0045628143,0.010042845,0.0018236996,0.0030050012,0.0090880515],"study_design_candidate":"not_applicable","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.000003741493,0.000002120787,0.000007325111,0.00003468375,0.0000011687997,0.000017038166,0.00013817492,0.00012066492,0.00011408157,0.97250104,0.015631078,0.011428989],"study_design_scores_gemma":[0.000003251281,0.000002797289,0.0000113056985,0.00004199199,0.0000034465968,0.00005262561,0.00005224099,0.00061772426,0.00032418827,0.7313142,0.26756722,0.000009036359],"about_ca_topic_score_codex":0.0066307024,"about_ca_topic_score_gemma":0.005650154,"teacher_disagreement_score":0.031645045,"about_ca_system_score_codex":0.0035619522,"about_ca_system_score_gemma":0.0015231719,"threshold_uncertainty_score":0.105863154},"labels":[],"label_agreement":null}]}