{"id":"W2045810234","doi":"10.2178/jsl/1333566632","title":"A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one","year":2012,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Packing dimension; Hausdorff dimension; Effective dimension; Dimension (graph theory); Mathematics; Dimension function; Minkowski–Bouligand dimension; Combinatorics; Mathematical analysis; Fractal dimension; Fractal","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001607314,0.0008359696,0.0008069724,0.0009506444,0.0009101804,0.002801019,0.001097044,0.001235363,0.004989551],"category_scores_gemma":[0.01421269,0.0004530062,0.0009258249,0.0006261172,0.003106574,0.006610134,0.002344083,0.001941811,0.0006056778],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001361011,"about_ca_system_score_gemma":0.0009131709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003292848,"about_ca_topic_score_gemma":0.0003586573,"domain_scores_codex":[0.9981889,0.000415108,0.0001947703,0.000471437,0.0004836097,0.0002461092],"domain_scores_gemma":[0.9876471,0.006873779,0.001003949,0.002730485,0.001011064,0.0007335667],"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.001656586,0.0002153888,0.0096681,0.0007525259,0.0001796823,0.0004855176,0.0009018946,0.06099253,0.05096108,0.7879342,0.005390502,0.08086195],"study_design_scores_gemma":[0.0001586998,0.0005397387,0.002509628,0.0001368216,0.0001053084,0.0007551895,0.0003993581,0.252231,0.05369167,0.674827,0.01448336,0.000162266],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6959881,0.0007355863,0.2778104,0.001975552,0.0003246569,0.0001024212,0.0003805099,0.001912965,0.02076975],"genre_scores_gemma":[0.886084,0.00007619996,0.1116354,0.0001734034,0.00004296561,0.00005831075,0.0002098892,0.0001547267,0.001565043],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004989551,"threshold_uncertainty_score":0.01669174,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02040741888462065,"score_gpt":0.268995094939475,"score_spread":0.2485876760548543,"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."}}