{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.002222477,0.0004063705,0.000502295,0.0002273921,0.0009094526,0.0001554529,0.001526416,0.00042014,0.001185868],"category_scores_gemma":[0.001986113,0.0002669103,0.0002021244,0.000900042,0.0005112804,0.0006384517,0.0006204091,0.001059233,0.002985641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001109093,"about_ca_system_score_gemma":0.00007713916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000128632,"about_ca_topic_score_gemma":0.0000153934,"domain_scores_codex":[0.9964107,0.0002723256,0.0008004237,0.0007091541,0.000711831,0.001095601],"domain_scores_gemma":[0.9968095,0.001123203,0.0003438447,0.00118524,0.0001884395,0.0003497772],"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.00001998498,0.0003023313,0.00004965747,0.0001534088,0.0001073622,0.000003042416,0.004869194,0.000009081025,0.01165677,0.5950168,0.3847857,0.003026714],"study_design_scores_gemma":[0.0002946131,0.0000788406,0.0002875512,0.00009983246,0.0001056037,0.0000578236,0.0006609483,0.001435105,0.002215538,0.9634849,0.03084834,0.0004309367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.315933,0.0005095701,0.3243008,0.2312623,0.002136814,0.01145317,0.00007110878,0.002048464,0.1122848],"genre_scores_gemma":[0.8561469,0.00002274033,0.123183,0.002813404,0.0002702271,0.0007806183,0.000009747003,0.00009774808,0.01667561],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5402139,"threshold_uncertainty_score":0.9999783,"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."}}