{"id":"W2031927644","doi":"10.1007/s11225-006-6610-7","title":"The Epsilon Calculus and Herbrand Complexity","year":2006,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Sequent calculus; Mathematics; Calculus (dental); Natural deduction; Cut-elimination theorem; Operator (biology); Discrete mathematics; Algebra over a field; Pure mathematics; Proof calculus; Mathematical proof","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.003132098,0.0007053145,0.001172759,0.002628443,0.002504486,0.006741256,0.001509009,0.001981886,0.005098376],"category_scores_gemma":[0.007947222,0.0006713149,0.0009061672,0.002652908,0.007569088,0.01699749,0.002366722,0.004985235,0.0004620864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002994053,"about_ca_system_score_gemma":0.000853103,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001544932,"about_ca_topic_score_gemma":0.001121838,"domain_scores_codex":[0.9984493,0.0005311447,0.00009504145,0.0002696769,0.0004984657,0.0001562117],"domain_scores_gemma":[0.9938477,0.004797566,0.0003302226,0.000470605,0.0003257476,0.0002282241],"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.000008214294,0.000007356437,0.0001232362,0.00001632522,0.000004339093,0.00001933628,0.00007869671,0.0003592922,0.00006263463,0.9964777,0.0005154706,0.002327391],"study_design_scores_gemma":[0.000002775717,8.390734e-7,0.00005997474,0.000004280096,0.000002357566,0.000009480292,0.00001004102,0.0004482792,0.00002278413,0.9987221,0.0007145781,0.000002371328],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3031495,0.04105149,0.2514063,0.03338679,0.0009277054,0.0000544441,0.0006093084,0.0004132949,0.3690012],"genre_scores_gemma":[0.9540058,0.007448572,0.01981705,0.0007719884,0.001048877,0.00006078347,0.0002132465,0.0000709169,0.01656278],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006741256,"threshold_uncertainty_score":0.02172345,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03679857917696052,"score_gpt":0.2540852957107809,"score_spread":0.2172867165338204,"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."}}