{"id":"W1994230264","doi":"10.12775/llp.2013.030","title":"On the proof-theory of a first-order extension of GL","year":2013,"lang":"en","type":"article","venue":"Logic and Logical Philosophy","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Mathematical proof; Converse; Peano axioms; Pigeonhole principle; Arithmetic function; Axiom; Order (exchange); Calculus (dental); Sequent; Algebra over a field; Discrete mathematics; Pure mathematics","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005197373,0.0001499829,0.0003088051,0.00003998376,0.00008895705,0.00000629324,0.000173612,0.0001268617,0.001513063],"category_scores_gemma":[0.001079199,0.00007350366,0.00009050123,0.0001719302,0.0004088329,0.00004247172,0.0001018991,0.0001740685,0.0000329885],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004444179,"about_ca_system_score_gemma":0.000004538063,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002513075,"about_ca_topic_score_gemma":1.357087e-7,"domain_scores_codex":[0.998982,0.0001705996,0.0002943583,0.0002049283,0.0001918533,0.0001562963],"domain_scores_gemma":[0.9972482,0.002103413,0.0001617022,0.0003278914,0.0001044242,0.00005440302],"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.00008916859,0.0002906506,0.00008417168,0.00009512021,0.00002573402,0.000001858947,0.0001846253,0.000001353226,0.0001499362,0.9978293,0.0005505534,0.0006975774],"study_design_scores_gemma":[0.0002318327,0.0004368612,0.000825799,0.00006210194,0.00002290865,0.000005940252,0.0001358729,0.00003515823,0.0004691548,0.9976178,0.00006114014,0.00009546214],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9050011,0.0003178924,0.003594192,0.004371323,0.00006518562,0.0006680989,0.000004809271,0.00003862133,0.08593877],"genre_scores_gemma":[0.9981096,0.00001406459,0.0007786285,0.0007937797,0.00005400257,0.00002720368,0.000001080014,0.000008796275,0.000212852],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.09310848,"threshold_uncertainty_score":0.9993997,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06201604734210328,"score_gpt":0.2643847240193528,"score_spread":0.2023686766772495,"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."}}