{"id":"W1968754294","doi":"10.1142/s012905410500342x","title":"A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS","year":2005,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Peano axioms; Arithmetic function; Concatenation (mathematics); Mathematics; Second-order arithmetic; Expressive power; Hierarchy; Class (philosophy); Analytical hierarchy; Discrete mathematics; Characterization (materials science); Property (philosophy); Axiom; Order (exchange); Algebra over a field; Arithmetic; Pure mathematics; Computer science; Theoretical computer science; Analytic hierarchy process","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.001062449,0.0004471176,0.000571331,0.001491115,0.0007630083,0.00283473,0.001108882,0.0006970074,0.002725593],"category_scores_gemma":[0.00405641,0.0004175824,0.001009596,0.001399659,0.002574312,0.004840634,0.001888618,0.002373978,0.0004371867],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001373994,"about_ca_system_score_gemma":0.0007624791,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000892622,"about_ca_topic_score_gemma":0.0008357355,"domain_scores_codex":[0.9988064,0.0002647339,0.000091495,0.0002576467,0.0003897859,0.0001899813],"domain_scores_gemma":[0.9979236,0.001217582,0.0002534651,0.0002008084,0.0002763695,0.0001281205],"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.00002367396,0.00001522055,0.0003347116,0.00004780362,0.000008033954,0.00008532463,0.0003981542,0.00281912,0.003115566,0.9852017,0.0005477482,0.007402868],"study_design_scores_gemma":[0.00001698046,0.00002490197,0.0004131708,0.00003305967,0.00001381913,0.0002045444,0.0001138414,0.04399127,0.001803279,0.947862,0.005499861,0.00002333484],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2792356,0.001369115,0.6765638,0.001998593,0.0001064812,0.0001307725,0.000880847,0.0005005144,0.03921427],"genre_scores_gemma":[0.8299405,0.0007729004,0.1600138,0.000339075,0.0002487549,0.0001695455,0.0008460468,0.0001051179,0.007564405],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00283473,"threshold_uncertainty_score":0.009969056,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008621856616376914,"score_gpt":0.2751047152778128,"score_spread":0.2664828586614359,"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."}}