{"id":"W2346602651","doi":"10.1016/j.apal.2016.04.007","title":"Apartness spaces and uniform neighbourhood structures","year":2016,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"University of Canterbury; Ryerson University","keywords":"Neighbourhood (mathematics); Mathematics; Constructive; Uniform limit theorem; Bounded function; Pure mathematics; Mathematical analysis; Computer science; Process (computing)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001116632,0.0005224035,0.0009352905,0.00206659,0.002628943,0.00355909,0.0009747159,0.001140787,0.006688586],"category_scores_gemma":[0.004117832,0.0004685357,0.0008976135,0.00194214,0.006337102,0.01057264,0.004182289,0.003305831,0.0004195259],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001033665,"about_ca_system_score_gemma":0.0003908523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000903458,"about_ca_topic_score_gemma":0.0009017985,"domain_scores_codex":[0.9991604,0.0002653868,0.00006763177,0.0002486327,0.000177781,0.00008006976],"domain_scores_gemma":[0.9972656,0.001488457,0.0002643268,0.0003790056,0.0002945945,0.0003081394],"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.000006898483,0.000002664679,0.00005059203,0.000007434423,0.000002190819,0.00001249535,0.00008491702,0.000116991,0.00004319207,0.9985245,0.0001331868,0.001014958],"study_design_scores_gemma":[0.000003186072,0.000002406143,0.00006540206,0.000003024659,0.000003461755,0.0000255957,0.00005639343,0.0004014296,0.00004000434,0.9982083,0.001188822,0.000002074071],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3705941,0.007584839,0.3714022,0.005451839,0.0006311672,0.00004590283,0.0007364427,0.0001941379,0.2433593],"genre_scores_gemma":[0.9505098,0.001871172,0.0207225,0.0003487529,0.0004114847,0.00007918723,0.0004432349,0.00005912292,0.02555477],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006688586,"threshold_uncertainty_score":0.02237558,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06685076243352794,"score_gpt":0.3393181430546364,"score_spread":0.2724673806211084,"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."}}