{"id":"W4405949452","doi":"10.1017/jsl.2024.69","title":"CATEGORICAL FOUNDATIONS OF FORMALIZED CONDENSED MATHEMATICS","year":2024,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada; Norges Forskningsråd; Danmarks Grundforskningsfond; Agence Nationale de la Recherche","keywords":"Mathematics; Sheaf; Hausdorff space; Categorical variable; Topological space; Generalization; Category of topological spaces; Urysohn and completely Hausdorff spaces; Topology (electrical circuits); Pure mathematics; Space (punctuation); Compact-open topology; Algebra over a field; Hausdorff measure; Computer science; Topological tensor product; Combinatorics; Hausdorff dimension; Mathematical analysis; Functional analysis","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.0007170129,0.0001001377,0.0003193268,0.0001936738,0.00004886673,0.000172911,0.0005373996,0.00006983879,0.00004334366],"category_scores_gemma":[0.00008699497,0.00006447505,0.0001940718,0.0003970205,0.00005183893,0.0003671917,0.00007038816,0.0001732879,0.00004501459],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004612421,"about_ca_system_score_gemma":0.0001845114,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009340691,"about_ca_topic_score_gemma":0.000001233772,"domain_scores_codex":[0.9986795,0.00004920422,0.0006390639,0.0001051202,0.0003501871,0.000176992],"domain_scores_gemma":[0.9990003,0.0001671115,0.0003145986,0.0002122162,0.0002202351,0.00008558657],"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.000002373249,0.0000861164,0.00004355844,0.0001043892,0.00006719487,0.00008658785,0.001924849,0.00001477645,0.0008184384,0.9923416,0.001140155,0.003369977],"study_design_scores_gemma":[0.0006598367,0.0005164421,0.0002290392,0.00003622119,0.0000765128,0.002366849,0.0003657149,0.01408654,0.001332125,0.9562914,0.02383578,0.0002034947],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008578442,0.00135945,0.9795722,0.0007089656,0.001335986,0.0001240882,4.062564e-7,0.00006484522,0.008255638],"genre_scores_gemma":[0.9889439,0.00004767356,0.01037347,0.00006486804,0.0001696235,0.000002442507,5.024293e-7,0.000006225174,0.0003913167],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9803655,"threshold_uncertainty_score":0.2629216,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04290560431996887,"score_gpt":0.3017920883184723,"score_spread":0.2588864839985034,"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."}}