{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000154252,0.0001177203,0.0002322549,0.00003564829,0.00006993922,0.000007009794,0.00007224284,0.0001075616,0.0001108827],"category_scores_gemma":[0.00005175601,0.00006597363,0.0000239444,0.00003768753,0.0002658971,0.00005502584,0.0000520963,0.00005997497,0.000002533939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001120171,"about_ca_system_score_gemma":0.000006553364,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.489889e-7,"about_ca_topic_score_gemma":0.000006828112,"domain_scores_codex":[0.9994453,0.00001802705,0.0001427874,0.0001580143,0.00006262281,0.0001732265],"domain_scores_gemma":[0.9994181,0.0002657841,0.00009980532,0.0001370179,0.00002554321,0.0000537429],"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.00005413212,0.00001872624,0.0001293784,0.00004340167,0.00002538138,0.000001691761,0.0001956941,4.560204e-7,0.001961104,0.982329,0.0003286555,0.01491234],"study_design_scores_gemma":[0.0002801509,0.00006058577,0.001045295,0.00001410621,0.00001400666,0.000009426072,0.0003398717,6.032893e-7,0.01569369,0.9817359,0.0007044931,0.0001018855],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9746787,0.0006610648,0.003556095,0.002170295,0.00003604928,0.0001567537,0.00001734244,0.00004297155,0.01868073],"genre_scores_gemma":[0.9976431,0.0003137914,0.001345102,0.0003556167,0.00004720509,0.000006066823,0.000001020198,0.000008093305,0.0002799648],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02296444,"threshold_uncertainty_score":0.2690327,"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."}}