{"id":"W2193617815","doi":"10.1002/malq.201500067","title":"The length of an intersection","year":2017,"lang":"en","type":"preprint","venue":"Mathematical logic quarterly","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Combinatorics; Mathematics; Partially ordered set; Infimum and supremum; Cardinality (data modeling); Intersection (aeronautics); Discrete 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":[],"consensus_categories":[],"category_scores_codex":[0.0006023753,0.0002437791,0.0003954859,0.00004798228,0.0002819089,0.0003908604,0.002709943,0.0002046479,0.00001729822],"category_scores_gemma":[0.0001070143,0.0001429628,0.0001808322,0.00004367436,0.000251293,0.0002720291,0.000419458,0.000486825,0.00008166518],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003465911,"about_ca_system_score_gemma":0.00005042334,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000538625,"about_ca_topic_score_gemma":0.000007622979,"domain_scores_codex":[0.998302,0.0001422176,0.0004701169,0.0004738674,0.000321933,0.0002898512],"domain_scores_gemma":[0.9968393,0.0002938894,0.0004845114,0.002191455,0.0000970853,0.00009379932],"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.000005897616,0.0001175052,0.000001457978,0.00009447269,0.00002395223,0.00001025525,0.001468243,0.00002008265,0.00004651507,0.8755946,0.0000472758,0.1225698],"study_design_scores_gemma":[0.00009058498,0.000526795,0.0001211993,0.00007988016,0.00001161335,0.00002154583,0.0001771914,0.03330586,0.00008408663,0.9653049,0.0001064206,0.0001699778],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02693684,0.00009974531,0.9604813,0.0008213533,0.0008282629,0.0003426966,0.000003412371,0.0001842787,0.01030208],"genre_scores_gemma":[0.9571694,0.000006889814,0.04234494,0.0000513818,0.0001199863,0.00005457929,0.000003230354,0.00001136813,0.0002382267],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9302325,"threshold_uncertainty_score":0.5829853,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02863614034928703,"score_gpt":0.2971078305421881,"score_spread":0.2684716901929011,"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."}}