http://oac.cdlib.org/findaid/ark:/13030/c8h1356d No online items

Guide to the Grigori Mints Papers SC1225

Daniel Hartwig & Jenny Johnson Department of Special Collections and University Archives December 2014 Green Library 557 Escondido Mall Stanford 94305-6064 [email protected] URL: http://library.stanford.edu/spc

Guide to the Grigori Mints Papers SC1225 1 SC1225 Language of Material: Undetermined Contributing Institution: Department of Special Collections and University Archives Title: Grigori Mints papers creator: Mints, Grigori Identifier/Call Number: SC1225 Physical Description: 57.25 Linear Feet(44 boxes) Date (inclusive): 1954-2014 Information about Access The materials are open for research use. Audio-visual materials are not available in original format, and must be reformatted to a digital use copy. Ownership & Copyright All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94305-6064. Consent is given on behalf of Special Collections as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner, heir(s) or assigns. See: http://library.stanford.edu/spc/using-collections/permission-publish. Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes. Cite As [identification of item], Grigori Mints Papers (SC1225). Dept. of Special Collections and University Archives, Stanford University Libraries, Stanford, Calif. Immediate Source of Acquisition Gift of Marianna Rozenfeld, 2014 & Evelyn McMillan, 2015. Subjects and Indexing Terms Philosophy. Philosophy -- Study and teaching. Research -- Philosophy. Logic, Symbolic and Mathematical. Mathematics -- Philosophy. Logicians -- United States -- Biography. Mints, Grigori

Email (print-outs) 1990-2014

box 1 1990-1994 box 2 1995-1998 box 3 1998-2000 box 4 2000-2012 box 5 1994-2001 box 5 Foundations of Mathematics (FOM) digest 2002-2011 box 42 Friedman, Harvey; Foundations of Mathematics (FOM) digest 2003-2010 Conferences

Russian

box 26 Conference proceedings 1976-2001 box 28, folder 1 2012

English

Guide to the Grigori Mints Papers SC1225 2 SC1225 Conferences English

box 27, folder 1 Conference Materials from St. Petersberg 2014 box 27, folder 2 Philosophy, Mathematics, Linguistics: Aspects of Interaction 2009 box 27, folder 3 Miscellaneous Documents undated box 27, folder 4 Association for Symbolic Logic 1997-2011 box 27, folder 5 Joint Mathematics Meetings 2012 Jan. 4-7 box 27, folder 6 Collegium Logicum - Cut-Elimination 2005 Jul. 4-6 box 27, folder 7 Mathematics - XXI Century - PDMI 70th Anniversary 2010 Sep. 13-18 box 27, folder 8 MFCS & CSL 2010 box 27, folder 9 Lecture Notes in Logic 1974, 1990, 1996 box 27, folder 10 The Rolf Schock Prizes 1997 box 27, folder 11 Universality of Science 1995-1996 box 27, folder 12 Methods of Logic in Mathematics III 2006 Jun. 1-7 box 27, folder 13 European Foundation for Logic, Language and Information 1992 Aug. box 27, folder 14 BRICS Proof Theory and Complexity 1998 Aug. 3-7 box 27, folder 15 First International Wormshop 2012 Apr. 16-19 box 27, folder 16 Mathematische Logik 1998 Jan. 18-24 box 27, folder 17 Proof Theory: Workshop on Logic, Foundational Research, and Mathematics 2003 Oct. 9-11 box 27, folder 18 Model Computation - Principles, Algorithms, Applications 6/16/2000 box 27, folder 19 1st North American Summer School in Logic, Language, and Information 2002 Jun. 24-30 box 27, folder 20 WoLLIC 2005 Proceedings 2005 Jul. 19-22 box 27, folder 21 ILCLI 1993-2003 box 27, folder 22 Takeuti Symposium 2003 Dec. 17-19 box 27, folder 23 Natural Deduction 2001 box 27, folder 24 WoLLIC 2006 box 27, folder 25 Conferences 2006 box 27, folder 26 Logic in the Netherlands 1998 Feb. box 27, folder 27 Banff International Research Station 2007 Feb. 18-23 box 27, folder 28 Shell Oil Symposium Series 11/5/1995 box 27, folder 29 9th International Conogress of Logic, Methodology, and Philosophy of Science 1991 Aug. 7-14 box 27, folder 30 10th International Conogress of Logic, Methodology, and Philosophy of Science 1995 Aug. 19-25 box 27, folder 31 Nato ASI Report 1993 Aug. 13-24 box 27, folder 32 Godel's Excursions Into Intuitionistic Logic 1983 Jul. 10-12 box 27, folder 33 Summer School and Conference on Mathematical Logic 1988 Sep. 13-23 box 27, folder 34 Logic Colloquium 2004 Jul. 25-31 box 27, folder 35 Logic Colloquium 1990 Jul. 15-22 box 27, folder 36 Computer Science Logic 1992 Jul. 13-17 box 27, folder 37 Proof Theory and Algorithms Workshops 2003 Mar. 23-28 box 27, folder 38 DAYS Shanin 1999 box 27, folder 39 Markov 2003 box 27, folder 40 CSR 2006 box 27, folder 41 Mathematische Logik 1995 Apr. 2-8 box 27, folder 42 HPLMC-02 2002 Nov. 7-9 box 27, folder 43 Nasslli 2003 Jun. 17-21 box 27, folder 44 Classical Logic and Computation 2010 box 27, folder 45 Symbolic Logic and Computer Science 1995 Sep. 17-20 box 28 Logic colloquium, Berlin 1989 box 28 Colloquium on Modal Logic 1991 box 24, folder 9 1992 box 24, folder 10 1992-1994 box 24, folder 2 1994 box 24, folder 7 1994-1995 box 24, folder 6 1994-1999 box 28 Logic colloquium 1995 Aug 9-17 box 24, folder 3 1995

Guide to the Grigori Mints Papers SC1225 3 SC1225 Conferences English

box 24, folder 4 1996 box 28 International Conference TABLEAUX'97-Analytic Tableaux and Related Methods 1997-03 box 24, folder 8 1997 box 24, folder 5 1997-1998 box 28 Logic in Action: An NWO Spinoza Award Project 1997-1998 box 24, folder 1 1998 box 28 17th International Conference on Automated Deduction, Carnegie Mellon University 2000 Jun 17-20 box 28 Constructivism in Non-Classical Logics and Computer Science 2000 Sep 30-Oct 2 box 28 LCCS'2001: Proceedings of the International Workshop on Logic and Complexity in Computer Science, Universite Paris, France 2001 Sep 3-5 box 28 Logic-Based Program Synthesis: State of the Art and Future Trends, 2002 AAAI Spring Symposium 2002 box 28 Conference in Honor of the 60th Birthday of Friedman, Harvey M. 2009 May 14-17 box 28 Leeds Symposium on Proof Theory and Constructivism 2009 Jul 3-16 box 28 Algebra and Coalgebra meet Proof Theory 2013 Department files

box 30, folder 1 CAST 1995 box 30, folder 2 Funding 1994-2008 box 30, folder 3 Feferman, Solomon symposium 2004 box 30, folder 4 DTL 2004 box 30, folder 5 Drafts 1992-2009 box 30, folder 6 Dept 2008 box 30, folder 7 Dept 2005-2006 box 30, folder 8 2005 box 30, folder 9 Computer Science Department 2006 Publications

box 22-23 Index cards (English and Russian) Scope and Contents note Arranged alphabetically publications index.

box 25, folder 1 GM published articles in Russian undated box 25, folder 2 A Normal Form Theorem For Second-Order Classical Logic with an Axiom of Choice (2 copies) 1989 box 25, folder 3 A normal form for logical derivations implying one for arithmetic derivations (2 copies) 1993 box 25, folder 4 A New Reduction Sequence for Arithmetic undated box 25, folder 5 A New Reduction Sequence for Arithmetic 1982 box 25, folder 6 Development and present state of epsilon substitution method undated box 25, folder 7 Beklemisher's construction of Eo Stanford talk undated box 25, folder 8 Abstract for Banff 2007 box 25, folder 9 Model elimination and cut elimination undated box 25, folder 10 Abstract for Contibuted Talk 2004 box 25, folder 11 BSL 3, N3 Winter Meeting of the Association for Symbolic Logic 1997 box 25, folder 12 Bull. ASL V1.N3 Winter Meeting of the Association for Symbolic Logic 1995 box 25, folder 13 A Completeness Proof for Propositional S4 in Cantor Space (2 copies) 2001 box 25, folder 14 ADC Method of Proof Search for Intuitonistic Prepositional Natural Deduction 2012 box 25, folder 15 Admissible and Derived Rules undated box 25, folder 16 An Approach to an e-Substitution Method dor ID1 2001 box 25, folder 17 Applications of Proof-theoretic Transformation (Abstract) 1998 box 25, folder 18 A proof of topological completeness for S4 in (0,1) (2 copies) 2004 box 25, folder 19 A simple proof of second-order strong normalization with permutative conversions (2 copies) 2005 box 25, folder 20 A simple proof of the coherence theorem fro Cartesian closed categories undated box 25, folder 21 A termination proof for epsilon substitution using partial derivations (3 copies) 2003

Guide to the Grigori Mints Papers SC1225 4 SC1225 Publications

box 25, folder 22 Applications of Proof-theoretic Transformation (Abstract) 1998 box 25, folder 23 Axiomatization of a Skolem Function in Intuitionistic Logic (3 copies) 2000 box 25, folder 24 Classical and Intuitionistic Geometric Logic (3 copies) 2012 box 25, folder 25 Logical Investigations (2 copies) 2000 box 25, folder 26 Closed Categories and the Theory of Proofs undated box 25, folder 27 Closed Categories and the Theory of Proofs (office copy) 1992 box 25, folder 28 Completeness of Indexed e-Calculus (2 copies) 2003 box 25, folder 29 Complexity of Subclasses of the Intuitionistic Propositional Calculus (2 copies) 1990 box 25, folder 30 Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof 1991 box 25, folder 31 Corrigenda and Addenda to the Article "On Predicate and Operator Variants of the Formation of the Theories of Constructive Mathematics" 1967 box 25, folder 32 Cut-elimination and Normal Forms of Sequent Derivations 1994 box 25, folder 33 Cut elimination for a simple formulation of epsilon calculus (2 copies) 2007 box 25, folder 34 Cut Elimination for S4C: A Case Study 2006 box 25, folder 35 Abstracts of the AMS 1985 box 25, folder 36 Cut-Elimination for Simple Type Theory with an Axiom of Choice (3 copies) 1999 box 25, folder 37 Cute-Free Calculi of the S5 Type (3 copies) undated box 25, folder 38 Cut-Free Formulations for a quantified logic of here and there 2010 box 25, folder 39 Decidability of the Class 3 by Maslov's Inverse Method 1971 box 25, folder 40 Decidability of the Class 3 by Maslov's Inverse Method 2010 box 25, folder 41 Disjunctive interpretation of the LJ-Calculus e.u. Implicative complexity of axiomatics undated box 25, folder 42 Epsilon Substitution for Predicate Logic 2010 box 25, folder 43 Epsilon substitution method for elementary analysis 1996 box 25, folder 44 Epsilon substitution method for elementary analysis 1993 box 25, folder 45 Epsilon-Substitution Method for Ramified Language and Comprehension Rule (2 copies) 1999 box 25, folder 46 Existential Instantiation and Strong Normalization 1997 box 25, folder 47 Theoretical Computer Science: Extended normal form theorems for logical proofs from axioms (2 copies) 2000 box 25, folder 48 J Soviet Math 8, N3 1977 box 25, folder 49 Exact Estimates of the Provability of Transfinite Induction in the Initial Segments of Arithmetic 1972 box 25, folder 50 Failure of Interpolation in Constant Domain Intuitionistic Logic (2 copies) 2013 box 25, folder 51 Finite Investigations of Transfinite Derivations undated box 25, folder 52 Fixing Frege 2005 box 25, folder 53 Failure of Interpolation in Constant Domain Intuitionistic Logic (2 copies) 2013 box 25, folder 54 Justification of the Structural Synthesis of Programs 1982 box 25, folder 55 Interpolation Theorems for intuitionistic predicate logic (2 copies) 2002 box 25, folder 56 In Memoriam: Albert G. Dragalin (10 copies) 1999 box 25, folder 57 Indexed Systems of Sequents and Cut-Elimination (2 Copies) 1997 box 25, folder 58 Implicative Complexity of Axiomatic Systems undated box 25, folder 59 Heyting Predicate Calculus with Epsilon Symbol undated box 25, folder 60 Herbrand's Theorem for the Predicate Calculus with Equality and Functional Symbols (3 copies) 1966 box 25, folder 61 Gentzen-Type Systems and Resolution Rule Part II. Predicate Logic undated box 25, folder 62 Lecture Notes in Computer Science 1988 box 25, folder 63 Gentzen-Type Systems and Hilbert's Epsilon Substitution Method. I (2 copies) 1994 box 25, folder 64 Selected Papers in Proof Theory, Bibliopolis and North-Holland p. 221-294 (2 copies) 1992 box 25, folder 65 Linear Lambda-Terms and Natural Deduction (2 copies) 1998 box 25, folder 66 Logical Equations in Monadic Logic (3 copies) 2008 box 25, folder 67 Mechanical Proof-Search and the Theory of Logical Deduction in the USSR 1971 box 25, folder 68 New Trends in Foundations of Mathematics 2009 box 25, folder 69 Nikolai Aleksandrovich Shanin (obituary) (3 copies) 2013 box 25, folder 70 Normal Forms for Sequent Derivations (2 copies) undated box 25, folder 71 Email with Subject: Contraction in Sequent Derivations 1997

Guide to the Grigori Mints Papers SC1225 5 SC1225 Publications

box 25, folder 72 Normal Deduction in the Intuitionistic Linear Logic (2 copies) 1996 box 25, folder 73 Normalization of Finite Terms and Derivations via Infinite Ones (3 copies) 1992 box 25, folder 74 Normalization Theorems for the Intuitionistic Systems (2 copies) 1990 box 25, folder 75 Notes on Constructive Negation (4 copies) 2006 box 25, folder 76 Normal Forms for Sequent Derivations 1996 box 25, folder 77 Normalization of Finite Terms and Derivations via Infinite Ones 1992 box 25, folder 78 on E-Theorems (2 copies) undated box 25, folder 79 On Novikov's Hypothesis undated box 25, folder 80 On Some Calculi of Modal Logic undated box 25, folder 81 On the Construction of Conservative Logical Deductions undated box 25, folder 82 On the Semantics of Modal Logic (2 copies) 1971 box 25, folder 83 Proof Search Tree and Cut-Elimination undated box 25, folder 84 Proof Theory and Category Theory 1992 box 25, folder 85 Formal Systems for Classical Analysis undated box 25, folder 86 Proof Theory in the USSR (2 copies) 1991 box 25, folder 87 Propositional logic of continuous transformations in Cantor space (2 copies) 2004 box 25, folder 88 Propositional Logic Programming undated box 25, folder 89 Proof Theory in the USSR 1991 box 25, folder 90 Propositional Logic Programming undated box 25, folder 91 Propositional Logic Programming and the Priz System 1990 box 25, folder 92 Quantifier-Free and One-Quantifier Systems 1972 box 25, folder 93 Reduction of finite and infinite derivations 2000 box 25, folder 94 The Programming System PRIZ 1988 box 25, folder 95 Thoraf Skolem and the Epsilon Substitution Method for Predicate Logic (2 copies) 1996 box 25, folder 96 The Completeness of Structural Synthesis Rules (2 copies) 1982 box 25, folder 97 The Completeness of Provable Realizability (2 copies) 1989 box 25, folder 98 Reduction of finite and infinite derivations 2000 box 25, folder 99 Reduction to Theories of Lower Order 1996 box 25, folder 100 Reflection and Transfinite Induction (2 copies) undated box 25, folder 101 Resolution Calculi fro Modal Logics (2 copies) 1989 box 25, folder 102 Resolution Calculus for the First Order Linear Logic (2 copies) 1993 box 25, folder 103 Resolution Strategies for the Intuitionistic Logic (3 copies) 1994 box 25, folder 104 Semantics of a Declarative Language 1986 box 25, folder 105 Computers and Artificial Intelligence 1990 box 25, folder 106 Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi (2 copies) 1966 box 25, folder 107 Solvability of the Problem of Deducibility in LJ for a Class of Formulas not Containing Negative Occurrences of Quantifiers (2 copies) undated box 25, folder 108 Some formal systems of the logic programming 1987 box 25, folder 109 Strong Termination for the Epsilon Substitution Method (2 copies) 1996 box 25, folder 110 Stability of E-theorems and Program Verification (7 copies) undated box 25, folder 111 What Can Be Done in PRA 1975 box 25, folder 112 Transfer of Sequent Calculus Strategies to Resolution for S4 (2 copies) 1996 box 25, folder 113 Three Faces of Natural Deduction (2 copies) 1997 box 25, folder 114 The Universality of the Canonical Tree (2 copies) 1976 box 25, folder 115 The Use of Abstract Language in Elementary Metamathematics: Some Pedagogic Examples 1975 box 25, folder 116 The complexity of the disjunction and existential properties in intuitionistic logic (2 copies) 1998 box 25, folder 117 The Epsilon Substitution Method and Continuity (2 copies) 2002 box 25, folder 118 The Independence of the Postulates of Natural Calculi undated box 25, folder 119 The Skolem Method in Intuitionistic Calculi 1972 box 25, folder 120 The PRIZ system and Propositional Calculus 0 box 43 Friedman, Harvey Subject files

box 6, folder 1 Partial Copies undated

Guide to the Grigori Mints Papers SC1225 6 SC1225 Subject files

box 6, folder 2 B3AAA4AX undated box 6, folder 3 Halmosh undated box 6, folder 4 J.V. Neumann undated box 6, folder 5 Schwichtenberg and Wainer undated box 6, folder 6 Trakhtenbrot and Barzdin 1993 box 6, folder 7 V. Dalen Brouwer 2005 box 6, folder 8 Moschovakis 1974 box 6, folder 9 Normann 1980 box 6, folder 10 Walters 1975 box 6, folder 11 Mitchell 2000 box 6, folder 12 Lyndon 1966 box 6, folder 13 Leisenring 1969 box 6, folder 14 Lewis and Papa undated box 6, folder 15 Thinking About Mathematics undated box 6, folder 16 Gentzen undated box 6, folder 17 Girard 10/29/2009 box 6, folder 18 Jervell 4/17/2009 box 6, folder 19 Fitting and Smullyan undated box 6, folder 20 Krantz 7/25/2007 box 6, folder 21 Harrison undated box 6, folder 22 Kunen undated box 6, folder 23 Girard undated box 6, folder 24 Edwards undated box 6, folder 25 Pohlers 2005 box 6, folder 26 Lambda-calculus and Combinators in the 20th Century 7/24/2009 box 6, folder 27 RPR Handouts (my copies) 6/13/2000 box 7, folder 1 Provability Logic 38292 box 7, folder 2 Using the Borsuk-Ulam Theorem 2003 box 7, folder 3 Shoenfild 1993 box 7, folder 4 Thinking About Mathematics undated box 7, folder 5 Epsilon 2000-2001 box 7, folder 6 Epsilon 2000 box 7, folder 7 Epsilon 2003 box 7, folder 8 Epsilon 1995-1997 box 7, folder 9 Epsilon 1997 box 7, folder 10 Workbooks 2005-2006 box 7, folder 11 Epsilon undated box 7, folder 12 Epsilon 2001-2005 box 7, folder 13 Papadi 1994 box 7, folder 14 Epgytest undated box 7, folder 15 Epsotransp 2006 box 7, folder 16 Epsilon and Henry undated box 7, folder 17 A New Approach to Epsilon-Substitution Method 37245 box 7, folder 18 Epsilon Substitution Method for ID1 17-18 Jan. box 7, folder 19 von Neumann's Example 38203 box 7, folder 20 APAL Paper 2003 box 7, folder 21 Migoa Report Etc. undated box 7, folder 22 Epgy undated box 7, folder 23 M294 Epsilon 2004 box 7, folder 24 Workbooks 2010 box 7, folder 25 Epsilon 2009 box 7, folder 26 Epsilon 1998 box 7, folder 27 Epsilon 2003 box 7, folder 28 A New Approach to Epsilon-Substitution Method 36944 box 7, folder 29 Normalization undated box 7, folder 30 Normalization 2010 box 7, folder 31 Epsilon undated box 7, folder 32 Epsilon Oct. 1991 - Feb. 1992

Guide to the Grigori Mints Papers SC1225 7 SC1225 Subject files

box 7, folder 33 Epsilon-Symbol 1983 - July 1991 box 8, folder 1 Akiyoshi Ryota undated box 8, folder 2 KO^M/APAR. undated box 8, folder 3 Arai undated box 8, folder 4 Aczel 1974 box 8, folder 5 Ackermann undated box 8, folder 6 Avigad undated box 8, folder 7 Baaz undated box 8, folder 8 Beklemishev 2011 Mar. box 8, folder 9 Barendregt undated box 8, folder 10 Babaev undated box 8, folder 11 Brouwer undated box 8, folder 12 Bovykin undated box 8, folder 13 Beeson undated box 8, folder 14 Buss undated box 8, folder 15 Buchholz undated box 8, folder 16 Coquand undated box 8, folder 17 Ciabattoni undated box 8, folder 18 Carlson undated box 8, folder 19 Cantini undated box 9, folder 1 Corsi undated box 9, folder 2 Delzell undated box 9, folder 3 Ferreira undated box 9, folder 4 Fernandez undated box 9, folder 5 Dragalin/ Pap. undated box 9, folder 6 Fitting undated box 9, folder 7 Fisher undated box 9, folder 8 Gabbay undated box 9, folder 9 Gavril undated box 9, folder 10 Ghilardi undated box 9, folder 11 Girard undated box 9, folder 12 Gurevich undated box 9, folder 13 Gowers undated box 9, folder 14 Gordeev undated box 9, folder 15 Hrubevs undated box 9, folder 16 Hirsch undated box 9, folder 17 Kaye undated box 9, folder 18 Jager undated box 10, folder 1 Sieg undated box 10, folder 2 Shanin undated box 10, folder 3 Simpson undated box 10, folder 4 Scott D. undated box 10, folder 5 Seely undated box 10, folder 6 Feferman undated box 10, folder 7 Van Benthem undated box 11, folder 1 Troelstra undated box 11, folder 2 Trakhtenbrot undated box 11, folder 3 Towsner undated box 11, folder 4 Taitslin undated box 11, folder 5 Takeuti undated box 11, folder 6 Wilken undated box 11, folder 7 Urquhart undated box 11, folder 8 Tseitin undated box 11, folder 9 Tupailo undated box 11, folder 10 Visser undated box 11, folder 11 Voevodsky undated box 11, folder 12 Voronkov undated box 11, folder 13 Statman undated

Guide to the Grigori Mints Papers SC1225 8 SC1225 Subject files

box 11, folder 14 Slavnov undated box 11, folder 15 Sommer undated box 11, folder 16 Tait undated box 11, folder 17 Tatsuta undated box 11, folder 18 Tao undated box 11, folder 19 Wainer undated box 11, folder 20 Weiermann undated box 11, folder 21 Ting undated box 12, folder 1 Olkhovikov undated box 12, folder 2 Pappinghaus undated box 12, folder 3 Oliva 40626 box 12, folder 4 Okada 1999 box 12, folder 5 Parikh 2001 box 12, folder 6 Parsons undated box 12, folder 7 Pauly 2005 box 12, folder 8 Pearce undated box 12, folder 9 Plato undated box 12, folder 10 Zach undated box 12, folder 11 Zaslavsky undated box 12, folder 12 Zakhryashev undated box 12, folder 13 McCarthy 1978-1981 box 12, folder 14 Martin undated box 12, folder 15 Miller undated box 12, folder 16 Moschovakis undated box 12, folder 17 Leivant undated box 12, folder 18 Leitgeb undated box 12, folder 19 Levin undated box 12, folder 20 Lifschitz undated box 12, folder 21 Kopke 2006 box 12, folder 22 Heusinger undated box 12, folder 23 Harrison undated box 12, folder 24 Hales undated box 12, folder 25 Lando 2011 box 12, folder 26 Kripke 2000 box 12, folder 27 Lambek undated box 12, folder 28 Maslov undated box 12, folder 29 Wilken undated box 12, folder 30 Wolter undated box 13, folder 1 Manin 2011 box 13, folder 2 Maksimova undated box 13, folder 3 Nerode undated box 13, folder 4 Muravitski 2008 box 13, folder 5 Mundici undated box 13, folder 6 Kohlenbach undated box 13, folder 7 Kohlenbach A-F undated box 13, folder 8 Kushner undated box 13, folder 9 Kohlenbach 2010 box 13, folder 10 Kreisel undated box 13, folder 11 Kremer undated box 13, folder 12 Five Notes on the Application of Proof Theory to Computer Science 12/10/1971 box 13, folder 13 Kreisel Elements undated box 13, folder 14 Fresh 12 undated box 13, folder 15 Fresh undated box 13, folder 16 PT 2012 2010/2011 box 14, folder 1 General Interest 2008-2009 box 14, folder 2 Proof Mining 2010 box 14, folder 3 Here There 2009 box 14, folder 4 Ebar Transp. 2008

Guide to the Grigori Mints Papers SC1225 9 SC1225 Subject files

box 14, folder 5 Logical Ideal 2010 box 14, folder 6 Modal Logic 2009 box 14, folder 7 Modal Logic Genint 2009 box 14, folder 8 Schwichtenberg undated box 14, folder 9 Students 2006 box 14, folder 10 Summer Project 2004 box 15, folder 1 Tinker 2009 box 15, folder 2 Teaching undated box 15, folder 3 Teach 2007 box 15, folder 4 Ergod Articles undated box 15, folder 5 Zadachnik 2001 box 15, folder 6 Workshop 2007 box 15, folder 7 Wollic 2006 box 15, folder 8 VPUE Grant 2002 box 15, folder 9 Visitors 2006 box 15, folder 10 Travel 2005-2009 box 15, folder 11 Logic Seminar 2010-2011 box 15, folder 12 Seminars 2011-2012 box 15, folder 13 Seminars 2008-2010 box 15, folder 14 Seminars undated box 15, folder 15 Seminar Talks undated box 15, folder 16 Seminars 2010 box 15, folder 17 Sabbatical undated box 15, folder 18 Pohlers undated box 15, folder 19 Rusgrant 2003/2013 box 15, folder 20 Reviews Ref. Report undated box 15, folder 21 Rumfit undated box 15, folder 22 Rayo 2010 box 15, folder 23 Rathjen undated box 15, folder 24 Queiroz undated box 15, folder 25 Prawitz undated box 15, folder 26 Sasha 2007-2010 box 15, folder 27 Sasha 2003-2004 box 15, folder 28 Sasha undated box 16, folder 1 Topics in Logic: An Introduction to Proof Mining 2008 box 16, folder 2 Pratt, Scott L. Hist. 94 Schroder-Heister 1999 box 16, folder 3 Sazonov 2001 box 16, folder 4 Schutte 1992 box 16, folder 5 Schein 2007 box 16, folder 6 Powers, Thomas M. Hist. 94 Schellinx 2002 box 16, folder 7 Rybakov 2002 box 16, folder 8 MTA 1999-2001 box 16, folder 9 PT 2005 II 2005 box 16, folder 10 PT 2005 I 2005 box 16, folder 11 PT05 Lect 2005 box 16, folder 12 Logic 2 undated box 16, folder 13 PT05 Lect 2005 box 16, folder 14 MTA 06 Transpar 2006 box 16, folder 15 Fresh 06 2006 box 16, folder 16 PHILMATH 2004 box 16, folder 17 Berkeley Set Theory 2004 box 16, folder 18 MTA 06 2006 box 17, folder 1 General Interest undated box 17, folder 2 Rec. Theory undated box 17, folder 3 Topics 2009 box 17, folder 4 Topics 2010 box 17, folder 5 Topics 354 2009 box 17, folder 6 General Interest 2008

Guide to the Grigori Mints Papers SC1225 10 SC1225 Subject files

box 17, folder 7 Topics Transp. 2010 box 17, folder 8 TR 2005 box 17, folder 9 Gen. Interest 2010 box 18, folder 1 Sasha 2001 box 18, folder 2 Truth undated box 18, folder 3 Linguistics undated box 18, folder 4 Sasha 2004-2006 box 18, folder 5 Assorted Mathematical Documents undated box 18, folder 6 Chang & Keisler undated box 18, folder 7 Bag of Proofs 1994 box 18, folder 8 International Conference Tableaux 1999 box 18, folder 9 The Ergodic Theoretical Proof of Szemeredi's Theorem 1982 box 18, folder 10 A Formalization of Principle-Based Conception of Modality 2/6/2003 box 18, folder 11 Interplay Between Proof Theory and Constructivist Ideology in the USSR 1950-1970 box 18, folder 12 Completeness of Indexed e-Calculus 6/1/2002 box 18, folder 13 Extensions of the Substitution Mehod to Impredicative Systems 2003 box 18, folder 14 Semantical Analysis of Induitionalistic Logic undated box 18, folder 15 Contributions of G. Takeuti undated box 18, folder 16 Intuitionistic Frege Systems Are Polynomially Equivalent undated box 18, folder 17 Topological Semantics of Propositional Int undated box 18, folder 18 Substitution Method for Subsystems of Analysis 10/22/1993 box 18, folder 19 Skolen and Epsilon Substitution Method undated box 18, folder 20 Effective Content of Non-Effective Proofs 6/1/2006 box 18, folder 21 Effective Proofs and Existence in Mathematics 5/4/2006 box 18, folder 22 Review of Logical Aspects of Computation: Contributions and Distractions 10/4/2006 box 18, folder 23 Existential Instantiation for Intuistionistic Logic 1997 box 18, folder 24 Proof Theory and Consistency Proofs 2/27/2005 box 18, folder 25 Normalization in the First Order e-Calculus 1992 box 18, folder 26 Best Approximation in L1 undated box 18, folder 27 Lecture Slides undated box 18, folder 28 Hard Analysis: New Life of Old Ideas 10/12/2010 box 18, folder 29 Describing the Ordinal of Mathematical Analysis 5/19/2010 box 18, folder 30 Epsilon Substitution Method 2010, Mar. 17-18 box 18, folder 31 Fixing Frege 2005 box 18, folder 32 Epsilon Substitution Method for ID1 Jan. 17-18 box 18, folder 33 Three Faces of Natural Deduction undated box 18, folder 34 Sequent Formulation undated box 18, folder 35 A Simple Substitution Method for ID1 20 Mar. box 18, folder 36 A Proof of Topological Completeness for S4C in Cantor Space 17 Dec. box 18, folder 37 A Simple Proof of Strong Normalization w/ Permutative Conversions undated box 18, folder 38 Epsilon Substitution Method 2005 box 18, folder 39 Dynamic Topological Logic undated box 18, folder 40 The Logic of Continuous Transformations 2003 box 18, folder 41 Problems Around e-Calculus undated box 18, folder 42 Strong Termination for the Epsilon Substitution Method undated box 18, folder 43 The Undecidability of Dynamical Topological Logics undated box 18, folder 44 Intuitionistic Frege Systems Are Polynomially Equivalent 2/24/2004 box 18, folder 45 Natural Deduction and its Neighbors 2000 box 18, folder 46 Uniqueness Proofs in Approximation Theory undated box 18, folder 47 A New Construction of Interpolants 5/21/2002 box 18, folder 48 A Mild Extension of First Order Predicate Logic undated box 18, folder 49 Miscellaneous Proofs undated box 18, folder 50 Reformulation in e-Language undated box 18, folder 51 A Review of Effective Bounds on Strong Unicity in L1-Approximation 4/16/2002 box 18, folder 52 Define a Node undated box 18, folder 53 Sets undated box 18, folder 54 A Gentzen-style Formulation of the System B undated box 18, folder 55 Tran5P 10 undated

Guide to the Grigori Mints Papers SC1225 11 SC1225 Subject files

box 18, folder 56 Decidable Theories 2013 box 18, folder 57 Failure of Interpolation in the Intuitionistic Logic of Constant Domains 3/6/2012 box 18, folder 58 Mathematical Logic undated box 18, folder 59 Decidable Second Order Theories 5/31/2011 box 18, folder 60 Countable Version of Omega-Rule 5/17/2011 box 18, folder 61 Tantu 2011 Jun. 15-17 box 18, folder 62 Elementary Intuitionistic Theories undated box 19, folder 1 Set Theory 2011 box 19, folder 2 Decidable Second Order Theories Transpar 2011 box 19, folder 3 Category Theory and Structural Proof Theory 2010 box 19, folder 4 Bslid. tex undated box 19, folder 5 Hard Analysis: New Life of Old Ideas 2010 box 19, folder 6 Abstract undated box 19, folder 7 New Trends in Foundations of Mathematics 2008 box 19, folder 8 Reduction to Theories of Lower Order 2009 box 19, folder 9 Transpar 2001-2002 box 19, folder 10 Transpar 2001 box 19, folder 11 Incomplete Proofs and Program Synthesis 2002 box 19, folder 12 A Review by G Mints of W. Buszkowski, Methematical Linguistics 2002 box 19, folder 13 Transpar 2002 box 19, folder 14 Transparencies undated box 19, folder 15 Transpar 2002 box 19, folder 16 Transpar 2 2002 box 19, folder 17 Transpar undated box 19, folder 18 Transpar undated box 19, folder 19 Transpar undated box 19, folder 20 Transparencies undated box 19, folder 21 Logic Exercises undated box 19, folder 22 E Class 2002 box 19, folder 23 EPS06 Class 2006 box 19, folder 24 TR Girard WDW 2007 box 19, folder 25 Fresh 07 2007 box 19, folder 26 Constructive Math 351 B 2006 box 20, folder 1 A Formalization of Principle-Based Conception of Modality 12/16/2002 box 20, folder 2 An Accelerated e-Substitution Method undated box 20, folder 3 An e-Sub Method for Arithmetic with Predicates 2/22/2001 box 20, folder 4 A New e-Substitution Method for CR Nov. 1999 - Aug. 2000 box 20, folder 5 A New Construction of Interpolants 5/21/2002 box 20, folder 6 A Note of Completeness of an Epsilon Substitution Calculus 1/26/1995 box 20, folder 7 A Proof of a Theorem by Ikeda and Arai 11/1/1995 box 20, folder 8 A Simple Strong Normalization Proof with E and V undated box 20, folder 9 A Syntactic Proof of a Preservation Result 1/21/2001 box 20, folder 10 Boolean Equations 3/23/1999 box 20, folder 11 Conservation over PRA 3/14/1994 box 20, folder 12 Continuity Theorem for Effective Operators in Metric Spaces 11/19/1996 box 20, folder 13 Cut Elimination for Provability Logic 4/30/2005 box 20, folder 14 EPSCORRESP undated box 20, folder 15 Extension of e-Substitution Method to ID1 1/6/2006 box 20, folder 16 Finite Model Property for S4C 2/10/2006 box 20, folder 17 Hilbert's Program and the Substitution Method 1/12/1998 box 20, folder 18 Hilbert's Substitution Method 5/3/1994 box 20, folder 19 Modulation and Interpolation 10/17/2002 box 20, folder 20 Natural Deduction and Normalization for Quantified Modal Logic w/ Equality 1995 box 20, folder 21 Normalization as an e-Substitution Process 11/15/1994 box 20, folder 22 Normalizing IS4 2/20/1998 box 20, folder 23 Normalization Proof for Derivations in PA After P. Cohen 7/10/1997 box 20, folder 24 On Maslov's Inverse Method 12/2/1997 box 20, folder 25 Partial Proofs and Cut-Introduction 1/11/1999

Guide to the Grigori Mints Papers SC1225 12 SC1225 Subject files

box 20, folder 26 Proof Search Under Shanin 5/13/1999 box 20, folder 27 Quine and Modality undated box 20, folder 28 Resolution Rule for Diagrams undated box 20, folder 29 Simplified Strong Normalization Proof for Logic with Existence 7/22/1997 box 20, folder 30 Solving Equations in Modal Logic 3/1/2007 box 20, folder 31 Strong Normalization for Infinite 5/8/1997 box 20, folder 32 Tait-Style Strong 9/12/1997 box 20, folder 33 Topology and Logic 8/12/2004 box 20, folder 34 Work of A.A. Markov on Stepwise Semantics 11/14/2002 box 20, folder 35 Cut Elimination for S4C undated box 20, folder 36 Relationship Between Proof Theory and Model Theory 4/21/2003 box 20, folder 37 Abstracts 2002-2006 box 20, folder 38 A Completeness Proof for Propositional S4 9/24/2002 box 20, folder 39 An Approach to an e-Substitution Method undated box 20, folder 40 An e-Substitution Method for Predicate Logic 6/13/1994 box 20, folder 41 A Proof of Topological Completeness for S4 undated box 20, folder 42 A Termination Proof for e-Substitution undated box 20, folder 43 Axiomatization of a Skolem Function undated box 20, folder 44 Chapter OTL undated box 20, folder 45 Classical MLL = IMLL 9/7/1999 box 20, folder 46 Completeness of Indexed e-Calculus undated box 20, folder 47 A Completeness Proof for Propositional S4 7/14/1995 box 20, folder 48 Cut Elimination for a Simple Formulation of Epsilon Calculus undated box 20, folder 49 Cut Elimination for Simple Type Theory with an Axiom 10/1/1997 box 20, folder 50 Dynamic Topological Logic 3/19/2004 box 20, folder 51 Epsilon-Substitution Method for Ramified Language and Comprehension Rule 12/30/1994 box 20, folder 52 Existential Instantiation and Strong Normalization 1/27/1997 box 20, folder 53 Extended Normal Form Theorem for Logical Proofs from Axioms 1999 box 20, folder 54 Incomplete Prioofs and Program Synthesis, Extended Abstract 1/10/2002 box 20, folder 55 Indexed Systems of Sequents and Cut-Elimination 10/12/1995 box 20, folder 56 Interpolation undated box 20, folder 57 Intuitionistic Frege Systems Are Polynomially Equivalent 8/5/2004 box 20, folder 58 Linear Terms undated box 20, folder 59 Notes on Constructive Negation undated box 20, folder 60 Propositional Logic of Continuous Transformations in Cantor Space 12/9/2004 box 20, folder 61 Quick Cut-Elimination for Monotone Cuts 2001 Apr. box 20, folder 62 Reductions of Finite and Infinite Derivatives 4/19/1999 box 20, folder 63 Reductions to Theories of Lower Order 5/7/1996 box 20, folder 64 Russell Anticipation of Intuitionistic Logic undated box 20, folder 65 S4 is Topologically Complete for R undated box 20, folder 66 Skolemization and Quick Cut-Elimination undated box 20, folder 67 Strong Termination for the Epsilon Substitution Method 10/10/1995 box 20, folder 68 Terminating Epsilon Substitution undated box 20, folder 69 The Complexity of the Disjunction and Existence 8/11/1998 box 20, folder 70 The Epsilon Substitution Method and Continuity undated box 20, folder 71 Thor Skolem undated box 20, folder 72 Three Faces of Natural Deduction 6/27/1997 box 20, folder 73 Topological Completeness of Propositional Int 6/14/2000 box 20, folder 74 Transfer of Sequent 2/3/1995 box 20, folder 75 Proof Search Tree and Cut-Elimination 8/8/2007 box 20, folder 76 Logical Equations in Monadic Logic 8/8/2007 box 20, folder 77 Unwinding a Non-Effective Cut-Elimination Proof undated box 20, folder 78 Letters to Answer undated box 20, folder 79 Letters undated box 20, folder 80 Kriesel undated box 20, folder 81 Stanford undated box 21, folder 1 Grad Students undated

Guide to the Grigori Mints Papers SC1225 13 SC1225 Subject files

box 21, folder 2 Invitations undated box 21, folder 3 Interpolation undated box 21, folder 4 IGPL-JLC 2010 Apr. box 21, folder 5 Help to Russia undated box 21, folder 6 Guests 7/17/2006 box 21, folder 7 Grad Workshop undated box 21, folder 8 Log Prog 2006-2011 box 21, folder 9 Logic Program 2003 box 21, folder 10 LMH 2005-2009 box 21, folder 11 Maslovs 1993 box 21, folder 12 Markov undated box 21, folder 13 Masters 2003-2004 box 21, folder 14 Log Seminar 2002-2003 box 21, folder 15 Lists undated box 21, folder 16 Log Search 2001-2005 box 21, folder 17 Logic Lunch 2001-2002 box 21, folder 18 Logic Flyer undated box 21, folder 19 Past Conferences undated box 21, folder 20 Notes of Talks (Others) 9/4/2001 box 21, folder 21 Meetings 2001-2005 box 21, folder 22 Quine undated box 21, folder 23 PT Workshop 2005 box 21, folder 24 Problems undated box 21, folder 25 Serger 8/28/2006 box 21, folder 26 Proof Mining 2010 box 21, folder 27 Constructive Math Topics 2008 box 21, folder 28 Banalytic undated box 21, folder 29 Ebar undated box 21, folder 30 Conference 2001 box 21, folder 31 Cade Tutorial undated box 21, folder 32 ASL Reviews undated box 21, folder 33 AMS Notices undated box 21, folder 34 Annual Report 2009-2011 box 21, folder 35 AMS Notices undated box 21, folder 36 Aslo 2005-2014 box 31, folder 1 Historically important diss with GM notes + comments 1993 box 31, folder 2 Natural Deduction + notes 1965 box 31, folder 3 Russia textbook important in his field 1974 box 31, folder 4 Programming book important in his work + notes 1985 box 31, folder 5 Predilation analysis 1973 box 31, folder 6 Inscription to GM 1999 box 31, folder 7 Very rare Georgian logician + Georgian publishing company 1985 box 31, folder 8 Standard Russian textbook in Math Logic 1983 box 31, folder 9 Bibliography that includes GM papers 1989 box 31, folder 10 Inscription + notes 1993 box 31, folder 11 Popular lecture in its original form 1979-1982 box 31, folder 12 Maslov translated from The French 1987 box 31, folder 13 By GM and Maslov 1965 box 31, folder 14 GM notations pg 216 1979 box 31, folder 15 Contains paper by GM: special book or topic 1978 box 31, folder 16 by Novikov Math Logic early textbook in the field 1959 box 31, folder 17 Textbook Algebra, geometry with intuitionistic logic insert 1975 box 31, folder 18 Theories for Admissible Sets: A Unifying Approach to Proof Theory 1986 box 31, folder 19 GM's well used copy of this important text 1982 box 31, folder 20 Extensive notes 1956 box 31, folder 21 Fraenkel and Bar-Hillel Text on Set Theory in Russian with extensive card of notes and extensive annotation 1966 box 31, folder 22 K. Schutte Proof Theory + Notes 1977

Guide to the Grigori Mints Papers SC1225 14 SC1225 Subject files

box 31, folder 23 Hilbert's tenth problem 1993 box 31, folder 24 MOCKBA MNP + extensive notes 1981 box 31, folder 25 Girard - Dissertationes Mathematicae + extensive notes 1976 box 31, folder 26 Kreisel 1981 box 31, folder 27 The Problems of Philosophy: Third Edition 1979 box 32, folder 1 Constructive Math 1970 box 32, folder 2 Famous Mathematica - G.M. Edition 2004 box 32, folder 3 Institute of Imformatics Systems 1991 box 32, folder 4 Abstracts and Resumes 1966 box 32, folder 5 Early G.M. Papers 1966-1967 box 32, folder 6 Grisha an Editor 1983 box 32, folder 7 Inscription 1986 box 32, folder 8 A History of Philosophy and Logic in Russia 1995 box 32, folder 9 Theory of Algorithms 1954 box 32, folder 10 G.M. Papers 2007 box 32, folder 11 G.M.'s Notations 1995-2013 box 32, folder 12 Annals of Pure and Applied Logic 2005, May. box 32, folder 13 Information and Computation 2009, Oct. box 32, folder 14 First Order Modal Logic undated box 33, folder 1 Abstacts undated box 33, folder 2 Papers undated box 34, folder 1 VITAS box 34, folder 2 VITA etc. 1997 box 34, folder 3 Archive Trips etc. 1992 box 34, folder 4 History undated box 34, folder 5 CSLI 1994 box 34, folder 6 J. Ayers 10/1/2001 box 34, folder 7 Anna undated box 34, folder 8 Days SPB undated box 34, folder 9 Cohen 1997 box 34, folder 10 Freidson 1998 box 34, folder 11 Hohmas 1994-1995 box 34, folder 12 ICM 1999 box 34, folder 13 Kestrel 1999 box 34, folder 14 Kremer 1996-1997 box 34, folder 15 LLC 01 2001 box 34, folder 16 Maslova 1997-1999 box 34, folder 17 Markov Volume 1997-2000 box 34, folder 18 Nog 1997 box 34, folder 19 Onthologies 1996 box 34, folder 20 Orevkov 1993-1994 box 34, folder 21 Proof Checking 1994-1996 box 34, folder 22 Proposal 1995-2000 box 34, folder 23 Rybakov 1995 box 34, folder 24 Satisfiability 1999 box 34, folder 25 Seminars 1991-2000 box 34, folder 26 Seregine undated box 34, folder 27 Smirnov 1996 box 34, folder 28 Soros 1994 box 34, folder 29 Springer Files 1993 box 34, folder 30 Summa 2001 box 34, folder 31 Talks Mine 1993 box 34, folder 32 Techn Report, CSLI 11/15/1994 box 34, folder 33 Tests (General) 1993 box 34, folder 34 Travel 1992-2001 box 34, folder 35 Vassilyer 1998 box 34, folder 36 Visitors 1996-1998 box 34, folder 37 Visits (Past) 1998

Guide to the Grigori Mints Papers SC1225 15 SC1225 Subject files

box 34, folder 38 Workshop 2K 2000 box 34, folder 39 Zaslavsky 1996 box 34, folder 40 Epsilon Calculus with Applications 3/13/2010 box 34, folder 41 Journals 1991-1992 box 34, folder 42 Survery, Proof Theory 1970-1979 box 35, folder 1 Model Th. B 1992-1994 box 35, folder 2 160B 1993-1994 box 35, folder 3 Model Theory 1993 box 35, folder 4 160B 1992 box 35, folder 5 290B Model Theory B 1996 box 35, folder 6 Proof Theory B 1995 box 35, folder 7 M294 1997 box 35, folder 8 Rec. Theory B 1997 box 35, folder 9 Recursion Theory 1996 box 35, folder 10 M294 1996 box 35, folder 11 Topics in Logic 1993 box 35, folder 12 Tekctb1 undated box 35, folder 13 Philosophy 159 undated box 35, folder 14 160B 1997 box 35, folder 15 160B 1996 box 35, folder 16 160B 1995 box 35, folder 17 160A 1992-1993 box 35, folder 18 160A Math Logic 1987 & 1992 box 35, folder 19 Negation 2000 2000 box 35, folder 20 M294 1994 box 35, folder 21 Proof Theory B 1999 box 35, folder 22 Proof Theory 1994 box 35, folder 23 Logic Seminar Spring 2001 box 35, folder 24 Modal Logic 1996 box 35, folder 25 Etch undated box 35, folder 26 160B 2000 box 35, folder 27 160B 2001 box 35, folder 28 Model Theory A 1999 box 35, folder 29 Model Theory A 1995 box 36, folder 1 160B, gg undated box 36, folder 2 Proof Theory undated box 36, folder 3 Proof Theory 1992 box 36, folder 4 Proof Theory A98 undated box 36, folder 5 PTB2001 2001 box 36, folder 6 MTB 2000 2000 box 36, folder 7 MTB 02 2002 box 36, folder 8 PT 02 2002 box 36, folder 9 160A 2001 2001 box 36, folder 10 160A 2000 2000 box 36, folder 11 Proof Theory 1987 box 36, folder 12 M290B Model Theory B 2004 box 36, folder 13 Proof Theory B 2003 box 36, folder 14 The System ID undated box 36, folder 15 Proof Theory B 2003 box 36, folder 16 Small Collection of Business Cards on G.M.'s desk undated box 36, folder 17 Center For the Study of Language and Information undated box 36, folder 18 Cut-elimination and Normal Forms of Sequent Derivations 1994, Nov. box 36, folder 19 Grigori Mints - bio, cv, etc. undated box 36, folder 20 Proofs, Categories and Computations - Essays in Honor of Grigori Mints 2010 box 36, folder 21 Reviews, Evaluations undated box 36, folder 22 PHIL162/262 2003 box 36, folder 23 TRUTH13N 2004 box 36, folder 24 Logic 1 undated

Guide to the Grigori Mints Papers SC1225 16 SC1225 Subject files

box 36, folder 25 Logic Berkeley undated box 37, folder 1 Bounded Arithmetic 1986 box 37, folder 2 Absoluteness of Intuitionistic Logic 1970 box 37, folder 3 Recurrence in Ergodic Theory and Combinatorial Number Theory 1981 box 37, folder 4 Logic Colloquium 2004 box 37, folder 5 Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday 1999 box 37, folder 6 Das Kontinuum undated box 37, folder 7 Problems of Reducing the Exhaustive Search 1996 box 37, folder 8 Theoretical Computer Science 2000 box 37, folder 9 Constraint Programming 1991 box 37, folder 10 Godel Remembered 1983 box 37, folder 11 Programming Logic 1992 box 37, folder 12 Computers and Artifical Intelligence 1990 box 37, folder 13 Estonian Academy of Sciences Yearbook 2008-2009 box 37, folder 14 Mathematical Logic 1990 box 37, folder 15 Notre Dame Journal of Formal Logic 1989 box 37, folder 16 Journal of Philosophical Logic 1997 box 37, folder 17 Proof Theory of Modal Logic 1996 box 37, folder 18 Formalizing the Dynamics of Information 2000 box 37, folder 19 Games, Logic, and Constructive Sets 2003 box 37, folder 20 Vicious Circles 1996 box 37, folder 21 Studia Logica 1998 box 37, folder 22 Thinking About Mathematics 2000 box 37, folder 23 Machine Intelligence 1991 box 37, folder 24 Logic and Computer Science 1990 box 37, folder 25 The Journal of Symbolic Logic 1990-1991 box 38, folder 1 Automated Reasoning with Analytic Tableaux and Related Methods 1997 May. box 38, folder 2 Logic Programming and Automated Response 1992 Jul. box 38, folder 3 Logic Colloquium 1990 box 38, folder 4 Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies 1981 box 38, folder 5 Logic Colloquium 1972-73 box 38, folder 6 Proof Theory: An Introduction 1989 box 38, folder 7 Logic, Methodology and Philosophy of Science VII 1986 box 38, folder 8 Kreiseliana Abound and Around Georg Kreisel 1996 box 38, folder 9 Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday 1998 box 38, folder 10 Baltic Computer Science 1991 box 38, folder 11 Computational Logic and Proof Theory 1993 Aug. box 38, folder 12 COLOG-88 1988 Dec. box 38, folder 13 Logic for Programming, Artificial Intelligence, and Reasoning 2006 Nov. box 38, folder 14 Correct Reasoning: Essays on Logic-Based AI in Honor of Vladmir Lifschitz 2012 box 38, folder 15 Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday 2010 box 38, folder 16 Computer Science - Theory and Applications 2006 Jun. box 38, folder 17 Locial Foundations of Computer Science 1997 Jul. box 38, folder 18 Logic Colloquium 1996 box 38, folder 19 Logic, Language, Information and Computation 2011 May. box 38, folder 20 Reflections on the Foundations of Mathematics 2002 box 38, folder 21 European Summer Meeting for the Association for Symbolic Logic 1996 Jul 9-15 box 38, folder 22 Bulletin of the American Mathematical Society 1997 Apr. box 39, folder 1 PYC undated box 39, folder 2 PYC 0-T undated box 39, folder 3 PYC H undated box 39, folder 4 PYC ^M undated box 39, folder 5 PYC E-K undated box 39, folder 6 A undated box 39, folder 7 R undated

Guide to the Grigori Mints Papers SC1225 17 SC1225 Subject files

box 39, folder 8 RUS AbB undated box 39, folder 9 Non-recursive functions, knots "with thick ropes" and self-clenching "thick" hyperspheres 1991 box 39, folder 10 A Characterization Theorem for Geometric Logic 12/8/2009 box 39, folder 11 OE3OP undated box 39, folder 12 About Sergei Yu Maslov undated box 40, folder 1 The Variety of Logical Hylomorphism undated box 40, folder 2 A Finite Model Theorem for the Propositional u-Calculus undated box 40, folder 3 Results on the Propositional u-Calculus undated box 40, folder 4 A Buchholz Rule for Modal fixed Point Logics undated box 40, folder 5 PhML 2014 box 40, folder 6 Mathematics 21th Century PDMI 70th Anniversary 2010 Sep. 13-18 box 40, folder 7 Kant's Theory of Judgment 4/23/2009 box 40, folder 8 Epsilon Substitution for Predicate Logic undated box 40, folder 9 On Mints' Reduction for ccc-Calculus undated box 40, folder 10 Provable Isomorphisms of Types undated box 40, folder 11 Normal Forms and Cut-Free Proofs as Natural Transformations undated box 40, folder 12 On Gentzen's First Consistency Proof for Arithmetic 6/13/2012 box 40, folder 13 On Gentzen's First Consistency Proof for Arithmetic (Revised) 3/10/2013 box 40, folder 14 Structural Polymorphism 1993 box 40, folder 15 Functional Polymorphism 1990 box 40, folder 16 Proof search in multi-succeedent sequent calculi for intuitionistic logic undated box 40, folder 17 Proof Theory and Category Theory 1992 box 40, folder 18 Proof Theory and Category Theory 2013 Jul. 24-27 box 40, folder 19 Catbeam1 7/13/2013 box 40, folder 20 A Reconstruction of Aristotle's Modal Syllogistic 9/9/2005 box 40, folder 21 International Who's Who of Intellectuals undated box 40, folder 22 Sudoku undated box 40, folder 23 What is Truth? 4/4/2012 box 40, folder 24 Register Machines undated box 40, folder 25 What is Truth Spring 2012 box 40, folder 26 Manin, Mosogsky, etc. undated box 40, folder 27 MT2009 Dec. Theories 2009 box 40, folder 28 Sasha 2008-2009 box 40, folder 29 Comment tracer des diagrammes commutatifs? 6/24/2003 box 40, folder 30 Kripke Models undated box 40, folder 31 A Short Introduction to Intuitionistic Logic undated box 40, folder 32 Rooted Frames, Partial Orders undated box 40, folder 33 Algebraic Models undatred box 40, folder 34 Topological Completeness undated box 40, folder 35 Epsilon Substitution for First- and Second-Order Predicate Logic 4/29/2011 box 40, folder 36 Category Theory and Structural Proof Theory 10/27/2009 box 40, folder 37 Introduction to Ergodic Theory Winter 1995 box 40, folder 38 Comput. undated box 40, folder 39 Academies undated box 40, folder 40 Students 2009-2012 box 40, folder 41 Seminars 2008-2009 box 40, folder 42 LMH 2008-2009 box 40, folder 43 Logteach 2011-2013 box 40, folder 44 Kant undated box 40, folder 45 ID 2009 box 40, folder 46 Estonian AS undated box 40, folder 47 Constructivity undated box 40, folder 48 Number Theory Winter 2007 box 40, folder 49 The Indeterminacy of Set-Theoretic Notions undated box 40, folder 50 Confer undated box 40, folder 51 "What is Truth?" - Slides: Typos and other Observations 11/30/2013 box 40, folder 52 Cantor's Disorganization Method undated

Guide to the Grigori Mints Papers SC1225 18 SC1225 Subject files

box 40, folder 53 Introducing Topoi 10/18/2013 box 40, folder 54 Second Order Arithmetic undated box 40, folder 55 American Academy of Arts & Sciences undated box 40, folder 56 Mathematics self-proves its own Consistency undated box 40, folder 57 O-minimal Structures - Phil350B Decidable Theories Autumn 2013 box 40, folder 58 Grobner Bases 10/21/2013 box 40, folder 59 Intuitionistic Hybrid Logic 4/1/2005 box 40, folder 60 Intuitionistic Decision ProceduresGesamtersetzungen in Ackermanns Dissertation 10/8/2003 box 40, folder 61 Univalent Foundations and the Structure Identity Principle 1/8/2013 box 40, folder 62 Amalgation and Interpolation in Normal Modal Logics undated box 40, folder 63 Two Examples of Cut-Elimination for Non-classical Logics 12/13/2013 box 40, folder 64 Latex undated box 40, folder 65 Submitted undated box 40, folder 66 Logic Seminar 2010 box 40, folder 67 Additive Number Theory 2/7/2007 box 40, folder 68 Strong Normalisation Theorem undated box 40, folder 69 Work of A.A. Markov on Stepwise Semantics of Constructive Mathematics undated box 40, folder 70 Memorandum of Agreement undated box 40, folder 71 Cut-elimination for the first order of e-calculus 10/27/1992 box 40, folder 72 Ordinals from Above and Below, Part II 1/25/2011 box 40, folder 73 PhML-14 undated box 41, folder 1 Invariants undated box 41, folder 2 QBF undated box 41, folder 3 Decomposing Two-Dimensional Permutations: A Three Layer Cryptoticon is Universal 8/27/2012 box 41, folder 4 Carolyn undated box 41, folder 5 Kaht undated box 41, folder 6 Miscellaneous Documents undated box 41, folder 7 Proof T4 2010-2011 box 41, folder 8 Intuitionistic Dual-intuistionistic Nets 2009 box 41, folder 9 From Deep Inference to Proof Nets via Cut Elimination 2009 box 41, folder 10 Eigenvalues, bracketing and the decidability of positive minimal intuitionistic logic undated box 41, folder 11 Transfinite Progressions: A Second Look at Completeness 2004 box 41, folder 12 Functional Interpretations of Classical Systems undated box 41, folder 13 Godel incompleteness theorems and the limits of their applicability. 2010 box 41, folder 14 Eskolemization in Intuitionistic Logic 2009 box 41, folder 15 Tableaux and Hypersequents for Justification Logics 2011 box 41, folder 16 Cut Elimination for Shallow Modal Logics 2011 box 41, folder 17 Analytic Cut in Modal Logic: the System B 2011 box 41, folder 18 Epsilon Substitution for First and Second Order Predicate Logic 4/29/2011 box 41, folder 19 Proof TH 2010-2011 box 41, folder 20 Philosophy, Mathematics, Linguistics: Aspects of Interaction 22-25 May, 2012 box 41, folder 21 The Calculus Can Be Put to Work as Mathematics, not Formalism! 10/30/2012 box 41, folder 22 Iterating Semantic Automata 9/3/2012 box 41, folder 23 Common Law Reasoning undated box 41, folder 24 Modal Logic and Philosophy 2007 box 41, folder 25 Epsilon of Fprints undated box 41, folder 26 Category Theory and Structured Proof Theory 11/9/2009 box 41, folder 27 Equational/Categorical Axiomatizations of Primitive Recursive Functions and Functionals 11/10/2010 box 41, folder 28 Strong Normalization with Permutative Conversions 11/16/2007 box 41, folder 29 Epsilon Substitution for ID1 5/23/2009 box 41, folder 30 Additive Number Theory 1/10/2007 box 41, folder 31 Fitch's Paradox of Knowability 4/4/2004 box 41, folder 32 First Steps in Modal Logic 12/4/2007 box 41, folder 33 Catastrophic Second Step of Hilbert's Program 8/24/2012

Guide to the Grigori Mints Papers SC1225 19 SC1225 Subject files

box 41, folder 34 Several Interesting Problems from Applied Logic 1/29/2013 box 41, folder 35 Generalized Godel, Rosser, and Henkin Sentences undated box 41, folder 36 Epsilon Substitution for Predicate Logic 8/22/2010 box 41, folder 37 Semantic Construction of Intuitionistic Logic undated box 41, folder 38 There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem 1/1/2012 box 41, folder 39 Kolmogorov Complexity of Categories 1/8/2013 box 41, folder 40 Justification of Tertium Non Datur Within Hilbert's Consistency Theory undated box 41, folder 41 Extension of Epsilon Substituition Method to ID1 6/22/2007 box 41, folder 42 Recursively Mahlo Ordinals and Inductive Definitions undated box 41, folder 43 General Interest Topics in Mathematical Logic 11/18/2010 box 41, folder 44 Non-Deterministic Epsilon Substituion Method for PA and ID1 7/13/2011 box 41, folder 45 Annotated Bibliography on Decidability in Non-Clasical Systems undated box 41, folder 46 Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions - A Semantical Approach undated box 41, folder 47 Ordinals: Pohlers, Proof Theory 1989-1994 box 41, folder 48 Renormalization and Computation 10/20/2009 box 41, folder 49 Summary of Presentaions Given at the Stanford Logic Seminar 2007-2008 box 41, folder 50 Simplified Strong Normalization Proof for Logic With Existence 6/6/1997 box 41, folder 51 Non-Deterministic Epsilon Substituion Method for ID1: Effective Proof 1/20/2012 box 41, folder 52 Idempotents in Compact Semigroups and Ramsey Theory undated box 41, folder 53 Report on Non-Deterministic Epsilopn Substitution for ID1: Effective Proof 2/5/2012 box 41, folder 54 The Theory ID1 undated box 41, folder 55 Avron Hypersequent Calculus for Godal-Dummet Logic 8/24/2008 box 41, folder 56 Review of Mathematical Logic undated box 41, folder 57 A Survey of Decidability Results in Non-Classical Logics 8/16/2011 box 41, folder 58 Derivability of Modal Formulas Containing Only Positive Occurances of Quantifiers 8/9/2011 box 41, folder 59 Generalized Kripke Forms 2006 box 41, folder 60 CST undated box 41, folder 61 Notices of the American Mathematical Society 2014 Mar. box 41, folder 62 Notes on Constructive Negation 2006 box 41, folder 63 No Plagiarism Here undated box 41, folder 64 Constructive Set Theory 1975 Sep. box 41, folder 65 PhML 2014 box 41, folder 66 Proceedings of the Estonian Academy of Sciences 2014 box 41, folder 67 Cut Elimination for tge Logic of Transivity and Density 5/6/2013 box 41, folder 68 Compositional Semantics vs Arbitrary Syntax 9/27/2013 box 41, folder 69 Semialgebraic and Subanalytic Geometry 3/2/2000 box 41, folder 70 An introduction to o-minimal structures 9/3/1999 box 41, folder 71 Pfaffian Sets and O-minimality 2012 box 41, folder 72 Exponential Complexity of Satisfiability Testing for Linear-Size Boolean Formulas 2013 box 41, folder 73 Satisfiability Certificates Verifiable in Subexponential Time 2011 box 41, folder 74 A deterministic (2-2(k+1))^n algorithm for k-SAT based on local search 2002 box 41, folder 75 Clause Shortening Combined with Pruning Yields a New Upper Bound for Deterministic SAT Algorithms 2006 box 41, folder 76 MAX-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in O(2^n) Time 2006 box 41, folder 77 Expressive Power and Data Complexity of Nonrecursive Query Languages for Lists and Trees 2000 box 41, folder 78 On Moderately Exponential Time for SAT 2010 box 41, folder 79 Simple Proof of Strong Normalization 6/20/2012 box 41, folder 80 A Simple Strong Normalization Proof with Existence and Disjunction 12/11/2010 box 41, folder 81 Simplified Strong Normalization Proof for Logic With Existence 11/3/1998 box 41, folder 82 A Simple Strong Normalization Proof with Existence and Disjunction 8/23/2008 box 41, folder 83 Dynamic Logics of Dynamical Systems undated box 41, folder 84 Proof Search in Multi-Succedent Sequent Calculi for Intuitionistic Logic 4/1/2014

Guide to the Grigori Mints Papers SC1225 20 SC1225 Subject files

box 41, folder 85 Several Interesting Problems from Applied Logic 2014 Apr. box 41, folder 86 Notices of the American Mathematical Society 2014 Jan. box 41, folder 87 A Lower Bound for Intuitionistic Logic 1/25/2007 box 41, folder 88 Implicit Definition and the Epistemology of Mathematics undated box 41, folder 89 Aristotle's Modal Proof Theory 2014 Mar. 4-6 box 41, folder 90 Offprint from Oxford Studies in Ancient Philosophy Summer 2012 Additional papers Accession ARCH-2015-139

Box 1, Folder 1 Grigori Mints memorial materials 2015 Box 1, Folder 2 A Short Introduction to Modal Logic, by Grigori Mints 1992

Guide to the Grigori Mints Papers SC1225 21 SC1225