{"id":"W2127124552","doi":"10.70930/tac/2z2nujii","title":"The double powerlocale and exponentiation:A case study in geometric logic","year":2004,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Locale (computer software); Exponentiation; Sierpinski triangle; Mathematics; Exponential function; Morphism; Discrete mathematics; Combinatorics; Pure mathematics; Computer science; Mathematical analysis; Fractal","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.00214429,0.0004924731,0.0007080521,0.002203258,0.00317357,0.004483597,0.0009517468,0.001851089,0.003869985],"category_scores_gemma":[0.003111409,0.0004118824,0.0008505248,0.002474554,0.01558272,0.01322733,0.006569276,0.003279904,0.0004727844],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002025475,"about_ca_system_score_gemma":0.0003381765,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009416139,"about_ca_topic_score_gemma":0.0007041506,"domain_scores_codex":[0.9984552,0.0005487074,0.0000860823,0.0003241721,0.0002874619,0.0002985063],"domain_scores_gemma":[0.9982606,0.0009191828,0.000164111,0.000261952,0.0001569071,0.0002372208],"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.0000100381,0.000006112478,0.0003651846,0.00002471701,0.000002740675,0.0003566812,0.0009847331,0.0002619886,0.0002063486,0.9948238,0.0002451946,0.002712318],"study_design_scores_gemma":[0.00001843818,0.00004218268,0.0006367789,0.00004443777,0.00001988776,0.001711141,0.001675598,0.002714435,0.00142794,0.9662438,0.02543574,0.00002950695],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"other","genre_scores_codex":[0.4310714,0.009146458,0.3226362,0.009923809,0.0003088953,0.00008614855,0.0001535828,0.0003608652,0.2263127],"genre_scores_gemma":[0.9699953,0.001494355,0.01543615,0.0002716628,0.0002139688,0.00003164947,0.00003716445,0.00007162862,0.0124481],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004483597,"threshold_uncertainty_score":0.01469588,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01810876111497783,"score_gpt":0.2654502220561309,"score_spread":0.2473414609411531,"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."}}