{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002538195,0.0005169856,0.0004993874,0.001377457,0.001008411,0.002198498,0.001265755,0.0006414488,0.003544664],"category_scores_gemma":[0.003267855,0.0005590032,0.001615919,0.001252966,0.005972594,0.005522844,0.003484054,0.003540346,0.0009305532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001723392,"about_ca_system_score_gemma":0.001281465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001381846,"about_ca_topic_score_gemma":0.001144859,"domain_scores_codex":[0.9987944,0.0002985542,0.00007015128,0.0001813671,0.0004733354,0.0001822019],"domain_scores_gemma":[0.9962495,0.002274562,0.0002131517,0.000603371,0.0004790537,0.0001803304],"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.00002057375,0.00001273774,0.0001820526,0.00007968593,0.000008451827,0.0001040353,0.000388713,0.001848264,0.001413947,0.9888698,0.000526531,0.006545261],"study_design_scores_gemma":[0.000020119,0.00003051418,0.000197824,0.00003841626,0.00001547851,0.0001405452,0.00006410387,0.006214497,0.002415708,0.9773333,0.01351488,0.00001475884],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04661355,0.001234135,0.9148311,0.001908641,0.0001171069,0.00008834972,0.0004135994,0.001201143,0.03359229],"genre_scores_gemma":[0.6276234,0.001066657,0.3590734,0.001223808,0.000286693,0.0001582731,0.0005747431,0.0002976792,0.009695349],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003544664,"threshold_uncertainty_score":0.01342338,"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."}}