{"id":"W4387790500","doi":"10.2139/ssrn.4607631","title":"Suzumura Consistency and Minimal Quasi-Transitive Extensions","year":2023,"lang":"en","type":"preprint","venue":"SSRN Electronic Journal","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Transitive relation; Consistency (knowledge bases); Mathematics; Computer science; Combinatorics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001692128,0.0005077271,0.001291395,0.001645666,0.003869378,0.004031878,0.001238443,0.001443107,0.006496328],"category_scores_gemma":[0.004025307,0.0009669943,0.00118416,0.001783348,0.003790573,0.007366397,0.003201173,0.003244355,0.0006121329],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001039608,"about_ca_system_score_gemma":0.0008258983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005945729,"about_ca_topic_score_gemma":0.001108722,"domain_scores_codex":[0.9987385,0.0003509486,0.0001063631,0.0003544916,0.0002541016,0.0001956683],"domain_scores_gemma":[0.9972253,0.001296836,0.0002819569,0.0005156895,0.0003749377,0.0003052641],"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.00005999386,0.00001620965,0.0003223465,0.00002627214,0.00001021215,0.00006311116,0.0002703438,0.0001763069,0.0006737239,0.9961863,0.0004751269,0.001720183],"study_design_scores_gemma":[0.00001789048,0.00001177988,0.0003706988,0.000008381525,0.00001797397,0.0001020869,0.0001833614,0.0008038793,0.00047851,0.9958403,0.002156916,0.000008251423],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.674687,0.001613393,0.1376478,0.00399309,0.0006423381,0.00009702592,0.0009496764,0.0003783219,0.1799915],"genre_scores_gemma":[0.9612323,0.0003720727,0.01815151,0.0004032539,0.0002578664,0.00007903924,0.0005466763,0.0001419266,0.01881535],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006496328,"threshold_uncertainty_score":0.02173245,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04199573888076024,"score_gpt":0.3300944916565126,"score_spread":0.2880987527757524,"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."}}