{"id":"W2072328695","doi":"10.1007/s10474-013-0362-4","title":"A Borel solution to the Horn–Tarski problem","year":2013,"lang":"en","type":"article","venue":"Acta Mathematica Academiae Scientiarum Hungaricae","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Bounded function; Partially ordered set; Chain (unit); Pure mathematics; French horn; Discrete mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005345339,0.0004539239,0.0009282004,0.0008095723,0.0009933317,0.002487365,0.000991966,0.002017973,0.01380089],"category_scores_gemma":[0.002812463,0.0003001833,0.0006312118,0.0006277323,0.001622453,0.002357349,0.002171966,0.002913419,0.001323448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007518142,"about_ca_system_score_gemma":0.0009270179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00063278,"about_ca_topic_score_gemma":0.0005762821,"domain_scores_codex":[0.9997135,0.00008523205,0.00001276651,0.00004581768,0.00007589766,0.0000668385],"domain_scores_gemma":[0.9994,0.0003394264,0.00004908569,0.00004089023,0.00006693968,0.0001036668],"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.000027129,0.00002334626,0.0000602175,0.00003355836,0.00000738453,0.00004519399,0.00005829337,0.0009485579,0.0006275274,0.9932014,0.001755446,0.003211952],"study_design_scores_gemma":[0.00004034994,0.00001445503,0.00009985251,0.00001398059,0.000006781737,0.0000666192,0.00009395906,0.01016539,0.0002342636,0.9861601,0.003096427,0.000007707571],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3475093,0.002290208,0.3189915,0.01618292,0.0008818561,0.0001087406,0.0005923613,0.0005653915,0.3128778],"genre_scores_gemma":[0.8675973,0.001118083,0.04602915,0.001468661,0.00064135,0.0001213394,0.0005789933,0.0002017782,0.08224326],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01380089,"threshold_uncertainty_score":0.04616857,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02712606007005384,"score_gpt":0.3030148065855874,"score_spread":0.2758887465155336,"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."}}