{"id":"W2014032276","doi":"10.2178/jsl/1268917492","title":"Schnorr trivial sets and truth-table reducibility","year":2010,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Table (database); Triviality; Ideal (ethics); Truth table; Mathematics; Computer science; Discrete mathematics; Pure mathematics; Algorithm; Epistemology; Data mining; Philosophy","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.00250769,0.0005310514,0.0009383341,0.002683708,0.002150598,0.004084965,0.00133905,0.001000858,0.007094366],"category_scores_gemma":[0.009851954,0.0005579905,0.001324344,0.001605247,0.006846439,0.008279577,0.00355696,0.003707283,0.0008139178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002512233,"about_ca_system_score_gemma":0.0008468239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001010161,"about_ca_topic_score_gemma":0.0007524553,"domain_scores_codex":[0.9950805,0.001124616,0.0003513418,0.0009788134,0.001614464,0.0008503243],"domain_scores_gemma":[0.9878898,0.006367632,0.001022824,0.002170184,0.001902763,0.0006467901],"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.00009261623,0.00002986165,0.0006503499,0.00006341155,0.00002284037,0.00009267986,0.00040046,0.003203966,0.001810831,0.987182,0.001045625,0.005405308],"study_design_scores_gemma":[0.00001014453,0.0000204227,0.0002719378,0.00001370459,0.00001176398,0.00009568108,0.0001623935,0.006981567,0.003011151,0.9874894,0.001909052,0.00002283185],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3428724,0.001359061,0.5671765,0.004225066,0.0002647266,0.0001664314,0.0008492005,0.0015109,0.08157572],"genre_scores_gemma":[0.9776791,0.0001549192,0.01736251,0.0004030357,0.0001459925,0.00006108515,0.0002422409,0.00005572565,0.003895265],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007094366,"threshold_uncertainty_score":0.02373296,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01413839293032509,"score_gpt":0.2619920865501573,"score_spread":0.2478536936198322,"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."}}