Number of the records: 1  

Metamathematics of First-Order Arithmetic

  1. 1.
    0401861 - UIVT-O 930005 DE eng B - Monography
    Hájek, Petr - Pudlák, Pavel
    Metamathematics of First-Order Arithmetic.
    Berlin: Springer-Verlag, 1993. 460 s. Perspectives in Mathematical Logic. ISBN 3-540-50632-2
    Keywords : mathematical logic
    http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV

    Cited: 372

    --- Lindström P. The Arithmetization of Metamathematics and Some of Its Applications. : Univ. of Göteborg, 1995
    --- Shavrukov V. Yu. Isomorphisms of Diagonalizable Algebras. Logic Group Preprint Series No. 158. Utrecht : Utrecht Research Institute of Philosophy, 1996, p. 7
    --- Strahm T.A. On the Proof Theory of Applicative Theories. Dissertation. Bern : Philosophish-naturwiss. Fakultät, Universität Bern, 1996
    --- Visser A. An Overview of Interpretability Logic. Logic Group Preprint Series No.174. Utrecht : Utrecht Research Institute for Philosophy, 1997, p. 1-53
    --- Willard D.E. The Tangibility Reflection Principle for Self-Verifying Axiom Systems. Computational Logic and Proof Theory. 5th Kurt Gödel Colloquium. Berlin : Springer, 1997, p. 319-334
    --- Cantini A. Proof-Theoretical Aspects of Self-Referential Truth. Logic and Scientific Methods. Volume One of the 10th International Congress of Logic, Methodogy and Philosopfy of Science. Dordrecht : Kluwer Academic Publ, 1997, p. 7-27
    --- Lindström Per. Aspects of Incompleteness. Lecture Notes in Logic; 10. Berlin : Springer-Verlag, 1997, p. 126
    --- Simpson S. G. Subsystems of Second Order Arithmetic. Berlin : Springer, 1999, p. 444
    --- Švejdar V. Logika. Neúplnost, složitost a nutnost. Praha : Academia, 2002
    --- Sochor A. Klasická mateatická logika. Praha : Universita Krarlova, 2001
    --- Demlová M, Štěpánková O. Teorie složitosti a úlohy umělé inteligence. Umělá inteligence. Praha : Academia 2001, vol. 3, p. 309
    --- WILLARD, D.E. On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2006, vol. 71, no. 4, p. 1189-1199. [WOS]
    --- MICHELBRINK, M. A Buchholz derivation system for the ordinal analysis of KP+Pi(3)-reflection. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2006, vol. 71, no. 4, p. 1237-1283. [WOS]
    --- FERREIRA, F. - FERREIRA, G. Counting as integration in feasible analysis. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2006, vol. 52, no. 3, p. 315-320. [WOS]
    --- VISSER, A. - DE J.o.n.g.e.,. .M. No escape from Vardanyan's theorem. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, JUL 2006, vol. 45, no. 5, p. 539-554. [WOS]
    --- WILLARD, D.E. A generalization of the Second Incompleteness Theorem and some exceptions to it. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, SEP 2006, vol. 141, no. 3, p. 472-496. [WOS]
    --- WEIERMANN, A. Classifying the provably total functions of PA. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, JUN 2006, vol. 12, no. 2, p. 177-190. [WOS]
    --- KOLODZIEJCZYK, L.A. On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, JUN 2006, vol. 71, no. 2, p. 624-638. [WOS]
    --- MONIRI, M. An independence result for intuitionistic bounded arithmetic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2006, vol. 16, no. 2, p. 199-204. [WOS]
    --- AVIGAD, J. - SIMIC, K. Fundamental notions of analysis in subsystems of second-order arithmetic. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAY 2006, vol. 139, no. 1-3, p. 138-184. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. Envelopes, indicators and conservativeness. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2006, vol. 52, no. 1, p. 51-70. [WOS]
    --- WILLARD, D.E. An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2005, vol. 70, no. 4, p. 1171-1209. [WOS]
    --- WILLARD, D.E. On the partial respects in which a real valued arithmetic system can verify its tableaux consistency. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS. ISSN 0302-9743, 2005, vol. 3702, p. 292-306. [WOS]
    --- THAPEN, N. A note on Delta(1) induction and Sigma(1) collection. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2005, vol. 186, no. 1, p. 79-84. [WOS]
    --- BEKLEMISHEV, L.D. - VISSER, A. On the limit existence principles in elementary arithmetic and Sigma(0)(n)-consequences of theories. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, OCT 2005, vol. 136, no. 1-2, p. 56-74. [WOS]
    --- BEKLEMISHEV, L.D. Reflection principles and provability algebras in formal arithmetic. RUSSIAN MATHEMATICAL SURVEYS. ISSN 0036-0279, MAR-APR 2005, vol. 60, no. 2, p. 197-268. [WOS]
    --- YASUMOTO, M. Separations of first and second order theories in bounded arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, AUG 2005, vol. 44, no. 6, p. 685-688. [WOS]
    --- KOTLARSKI, H. - PIEKART, M. Variations of the Hardy hierarchy. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2005, vol. 51, no. 4, p. 417-434. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. Fragments of Arithmetic and true sentences. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2005, vol. 51, no. 3, p. 313-328. [WOS]
    --- KRYNICKI, M. - ZDANOWSKI, K. Theories of arithmetics in finite models. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2005, vol. 70, no. 1, p. 1-28. [WOS]
    --- GLANZBERG, M. Truth, reflection, and hierarchies. SYNTHESE. ISSN 0039-7857, DEC 2004, vol. 142, no. 3, p. 289-315. [WOS]
    --- KOLODZIEJCZYK, L.A. A finite model-theoretical proof of a property of bounded query classes within PH. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2004, vol. 69, no. 4, p. 1105-1116. [WOS]
    --- MONTAGNA, F. - NOGUERA, C. - HORCIK, R. On weakly cancellative fuzzy logics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, AUG 2006, vol. 16, no. 4, p. 423-450. [WOS]
    --- BECKMANN, A. Uniform proof complexity. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, AUG 2005, vol. 15, no. 4, p. 433-446. [WOS]
    --- JERABEK, E. Approximate counting in bounded arithmetic. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2007, vol. 72, no. 3, p. 959-993. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. A note on Sigma(1)-maximal models. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2007, vol. 72, no. 3, p. 1072-1078. [WOS]
    --- ENAYAT, A. Automorphisms of models of bounded arithmetic. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2006, vol. 192, no. 1, p. 37-65. [WOS]
    --- GANEA, M. Burgess' PV is Robinson's Q. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, JUN 2007, vol. 72, no. 2, p. 619-624. [WOS]
    --- WILLARD, D.E. Passive induction and a solution to a Paris-Wilkie open question. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAY 2007, vol. 146, no. 2-3, p. 124-149. [WOS]
    --- POLACIK, T. Partially-elementary extension Kripke models: A characterization and applications. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, JAN 2006, vol. 14, no. 1, p. 73-86. [WOS]
    --- ROSSLER, M. - JERABEK, E. Fragment of nonstandard analysis with a finitary consistency proof. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, MAR 2007, vol. 13, no. 1, p. 54-70. [WOS]
    --- IKEDA, K. - TSUBOI, A. Nonstandard models that are definable in models of Peano Arithmetic. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2007, vol. 53, no. 1, p. 27-37. [WOS]
    --- MONIRI, M. Preservation theorems for bounded formulas. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, JAN 2007, vol. 46, no. 1, p. 9-14. [WOS]
    --- ADAMOWICZ, Z. - KOLODZIEJCZYK, L.A. Partial collapses of the Sigma(1) complexity hierarchy in models for fragments of bounded arithmetic. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JAN 2007, vol. 145, no. 1, p. 91-95. [WOS]
    --- DANNER, N. - POLLETT, C. The weak pigeonhole principle for function classes in S1/2. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2006, vol. 52, no. 6, p. 575-584. [WOS]
    --- POLLETT, C. - DANNER, N. Circuit principles and weak pigeonhole variants. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, SEP 18 2007, vol. 383, no. 2-3, p. 115-131. [WOS]
    --- HIRSCHFELDT, D.R. - SHORE, R.A. Combinatorial principles weaker than Ramsey's theorem for pairs. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2007, vol. 72, no. 1, p. 171-206. [WOS]
    --- MILETI, J.R. The canonical Ramsey theorem and computability theory. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0002-9947, 2008, vol. 360, no. 3, p. 1309-1340. [WOS]
    --- SAKAMOTO, N. - TANAKA, K. The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, APR 2004, vol. 43, no. 3, p. 337-349. [WOS]
    --- KRAJICEK, J. Combinatorics of first order structures and propositional proof systems. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2004, vol. 43, no. 4, p. 427-441. [WOS]
    --- STRAHM, T. Theories with self-application and computational complexity. INFORMATION AND COMPUTATION. ISSN 0890-5401, SEP 15 2003, vol. 185, no. 2, p. 263-297. [WOS]
    --- SIMPSON, S.G. - TANAKA, K. - YAMAZAKI, T. Some conservation results on weak Konig's lemma. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 1 2002, vol. 118, no. 1-2, p. 87-114. [WOS]
    --- MACIEL, A. - PITASSI, T. - WOODS, A.R. A new proof of the weak pigeonhole principle. JOURNAL OF COMPUTER AND SYSTEM SCIENCES. ISSN 0022-0000, JUN 2002, vol. 64, no. 4, p. 843-872. [WOS]
    --- FERNANDES, A.M. - FERREIRA, F. Groundwork for weak analysis. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, JUN 2002, vol. 67, no. 2, p. 557-578. [WOS]
    --- ADAMOWICZ, Z. Herbrand consistency and bounded arithmetic. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2002, vol. 171, no. 3, p. 279-292. [WOS]
    --- ADAMOWICZ, Z. - ZBIERSKI, P. On Herbrand consistency in weak arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, AUG 2001, vol. 40, no. 6, p. 399-413. [WOS]
    --- CHOLAK, P.A. - JOCKUSCH, C.G. - SLAMAN, T.A. On the strength of Ramsey's theorem for pairs. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2001, vol. 66, no. 1, p. 1-55. [WOS]
    --- KAYE, R. - KOTLARSKI, H. On models constructed by means of the arithmetized completeness theorem. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2000, vol. 46, no. 4, p. 505-516. [WOS]
    --- BIGORAJSKA, T. - KOTLARSKI, H. - SCHMERL, J.H. On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 1998, vol. 158, no. 2, p. 125-146. [WOS]
    --- KOHLENBACH, U. Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, DEC 1996, vol. 36, no. 1, p. 31-71. [WOS]
    --- TURNER, R. Weak theories of operations and types. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, FEB 1996, vol. 6, no. 1, p. 5-31. [WOS]
    --- KOTLARSKI, H. An addition to Rosser's theorem. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 1996, vol. 61, no. 1, p. 285-292. [WOS]
    --- FERREIRA, F. On end-extensions of models of -exp. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 1996, vol. 42, no. 1, p. 1-18. [WOS]
    --- FONTANI, S. - MONTAGNA, F. - SORBI, A. A NOTE ON RELATIVE EFFICIENCY OF AXIOM SYSTEMS. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 1994, vol. 40, no. 2, p. 261-272. [WOS]
    --- KRAJICEK, J. FRAGMENTS OF BOUNDED ARITHMETIC AND BOUNDED QUERY CLASSES. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0002-9947, AUG 1993, vol. 338, no. 2, p. 587-598. [WOS]
    --- CHINCHILLA, E. A model theoretic proof of a subexponential time witnessing theorem. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE. ISSN 0764-4442, APR 1998, vol. 326, no. 8, p. 913-917. [WOS]
    --- VISSER, A. Pairs, sets and sequences in first-order theories. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, AUG 2008, vol. 47, no. 4, p. 299-326. [WOS]
    --- KETLAND, J. On Wright's inductive definition of coherence truth for arithmetic. ANALYSIS. ISSN 0003-2638, JAN 2003, vol. 63, no. 1, p. 6-15. [WOS]
    --- WILLARD, D.E. How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's Arithmetic Q. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2002, vol. 67, no. 1, p. 465-496. [WOS]
    --- WILLARD, D.E. Self-verifying axiom systems, the incompleteness theorem and related reflection principles. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, JUN 2001, vol. 66, no. 2, p. 536-596. [WOS]
    --- WILLARD, D.E. The semantic tableaux version of the Second Incompleteness Theorem extends almost to Robinson's Arithmetic Q. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS. ISSN 0302-9743, 2000, vol. 1847, p. 415-430. [WOS]
    --- JOOSTEN, J.J. - VISSER, A. The interpretability logic of all reasonable arithmetical theories - The new conjecture. ERKENNTNIS. ISSN 0165-0106, 2000, vol. 53, no. 1-2, p. 3-26. [WOS]
    --- D'AQUINO, P. - MACINTYRE, A. Non-standard finite fields over I Delta(0)+Omega(1). ISRAEL JOURNAL OF MATHEMATICS. ISSN 0021-2172, 2000, vol. 117, p. 311-333. [WOS]
    --- STRANNEGARD, C. Interpretability over Peano arithmetic. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 1999, vol. 64, no. 4, p. 1407-1425. [WOS]
    --- AVIGAD, J. - SOMMER, R. A model-theoretic approach to ordinal analysis. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, MAR 1997, vol. 3, no. 1, p. 17-52. [WOS]
    --- AVIGAD, J. Formalizing forcing arguments in subsystems of second-order arithmetic. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 5 1996, vol. 82, no. 2, p. 165-191. [WOS]
    --- AVIGAD, J. On the relationship between ATR(0) and (I)over-cap(D)over-cap(<omega). JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 1996, vol. 61, no. 3, p. 768-779. [WOS]
    --- IGNJATOVIC, A. DELINEATING CLASSES OF COMPUTATIONAL-COMPLEXITY VIA 2ND-ORDER THEORIES WITH WEAK SET EXISTENCE PRINCIPLES .1.. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 1995, vol. 60, no. 1, p. 103-121. [WOS]
    --- TAKEUTI, G. RSUV ISOMORPHISMS FOR TAC(I), TNCI AND TLS. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, FEB 1995, vol. 33, no. 6, p. 427-453. [WOS]
    --- CORNAROS, C. - DIMITRACOPOULOS, C. THE PRIME NUMBER THEOREM AND FRAGMENTS OF PA. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, OCT 1994, vol. 33, no. 4, p. 265-281. [WOS]
    --- ADAMOWICZ, Z. A CONTRIBUTION TO THE END-EXTENSION PROBLEM AND THE PI(1) CONSERVATIVENESS PROBLEM. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAY 6 1993, vol. 61, no. 1-2, p. 3-48. [WOS]
    --- VISSER, A. Faith & falsity. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JAN 2005, vol. 131, no. 1-3, p. 103-131. [WOS]
    --- VAN GULIK, S.V. - VERDEE, P. Modeling sorites reasoning with adaptive fuzzy logic. FUZZY SETS AND SYSTEMS. ISSN 0165-0114, JUL 16 2008, vol. 159, no. 14, p. 1869-1884. [WOS]
    --- SVEJDAR, V. An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant. FUNDAMENTA INFORMATICAE. ISSN 0169-2968, 2007, vol. 81, no. 1-3, p. 347-354. [WOS]
    --- SIROKOFSKICH, A. - DIMITRACOPOULOS, C. On a problem of J. Paris. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2007, vol. 17, no. 6, p. 1099-1107. [WOS]
    --- SKELLEY, A. Third-order computation and bounded arithmetic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2007, vol. 17, no. 6, p. 1167-1191. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. Provably total primitive recursive functions: Theories with induction. COMPUTER SCIENCE LOGIC, PROCEEDINGS. ISSN 0302-9743, 2004, vol. 3210, p. 355-369. [WOS]
    --- RAZBOROV, A.A. Feasible proofs and computations: Partnership and fusion. AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS. ISSN 0302-9743, 2004, vol. 3142, p. 8-14. [WOS]
    --- FRANZEN, T. Transfinite progressions: A second look at completeness. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, SEP 2004, vol. 10, no. 3, p. 367-389. [WOS]
    --- ADAMOWICZ, Z. - KOLODZIEJCZYK, L.A. Well-behaved principles alternative to bounded induction. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, AUG 23 2004, vol. 322, no. 1, p. 5-16. [WOS]
    --- HACHAICHI, Y. Arithmetical definability and computational complexity. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, AUG 23 2004, vol. 322, no. 1, p. 137-146. [WOS]
    --- LEIVANT, D. Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, JUN 6 2004, vol. 318, no. 1-2, p. 181-196. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. On the quantifier complexity of Delta(n+1)(T)-induction. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, APR 2004, vol. 43, no. 3, p. 371-398. [WOS]
    --- FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. Induction, minimization and collection for Delta(n)+(1)(T)-formulas. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2004, vol. 43, no. 4, p. 505-541. [WOS]
    --- SCHIRN, M. - NIEBERGALL, K.G. What finitism could not be. CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA. ISSN 0011-1503, APR 2003, vol. 35, no. 103, p. 43-68. [WOS]
    --- GRANDJEAN, E. - OLIVE, F. Graph properties checkable in linear time in the number of vertices. JOURNAL OF COMPUTER AND SYSTEM SCIENCES. ISSN 0022-0000, MAY 2004, vol. 68, no. 3, p. 546-597. [WOS]
    --- KOTLARSKI, H. The incompleteness theorems after 70 years. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, APR 2004, vol. 126, no. 1-3, p. 125-138. [WOS]
    --- ADAMOWICZ, Z. - KOLODZIEJCZYK, L.A. - ZBIERSKI, P. An application of a reflection principle. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2003, vol. 180, no. 2, p. 139-159. [WOS]
    --- SERENY, G. Boolos-style proofs of limitative theorems. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2004, vol. 50, no. 2, p. 211-216. [WOS]
    --- MONIRI, M. Intuitionistic weak arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, NOV 2003, vol. 42, no. 8, p. 791-796. [WOS]
    --- POLLET, C. A theory for log-space and NLIN versus co-NLIN. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2003, vol. 68, no. 4, p. 1082-1090. [WOS]
    --- BEKLEMISHEV, L.D. Proof-theoretic analysis by iterated reflection. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, AUG 2003, vol. 42, no. 6, p. 515-552. [WOS]
    --- TUNG, S.P. Skolem functions of arithmetical sentences. INFORMATION AND COMPUTATION. ISSN 0890-5401, AUG 25 2003, vol. 185, no. 1, p. 56-65. [WOS]
    --- MURAKAMI, M. - TSUBOI, A. Expanding the additive reduct of a model of Peano arithmetic. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2003, vol. 49, no. 4, p. 363-368. [WOS]
    --- POLLETT, C. On the bounded version of Hilbert's tenth problem. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JUL 2003, vol. 42, no. 5, p. 469-488. [WOS]
    --- NIEBERGALL, K.G. - SCHIRN, M. Hilbert's programme and Godel's theorems. DIALECTICA. ISSN 0012-2017, 2002, vol. 56, no. 4, p. 347-370. [WOS]
    --- BEKLEMISHEV, L.D. On the induction schema for decidable predicates. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2003, vol. 68, no. 1, p. 17-34. [WOS]
    --- ATSERIAS, A. Improved bounds on the Weak Pigeonhole Principle and infinitely many primes from weaker axioms. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, FEB 24 2003, vol. 295, no. 1-3, p. 27-39. [WOS]
    --- ADAMOWICZ, Z. - ZBIERSKI, P. On complexity reduction of Sigma(1) formulas. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JAN 2003, vol. 42, no. 1, p. 45-58. [WOS]
    --- BECKMANN, A. - POLLETT, C. - BUSS, S.R. Ordinal notations and well-orderings in bounded arithmetic. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, APR 15 2003, vol. 120, no. 1-3, p. 197-223. [WOS]
    --- ATSERIAS, A. Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001. ISSN 0302-9743, 2001, vol. 2136, p. 148-158. [WOS]
    --- AVIGAD, J. Saturated models of universal theories. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 15 2002, vol. 118, no. 3, p. 219-234. [WOS]
    --- THAPEN, N. A model-theoretic characterization of the weak pigeonhole principle. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 1 2002, vol. 118, no. 1-2, p. 175-195. [WOS]
    --- BECKMANN, A. Notations for exponentiation. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, OCT 9 2002, vol. 288, no. 1, p. 3-19. [WOS]
    --- SCHIRN, M. - NIEBERGALL, K.G. Extensions of the finitist point of view. HISTORY AND PHILOSOPHY OF LOGIC. ISSN 0144-5340, SEP 2001, vol. 22, no. 3, p. 135-161. [WOS]
    --- MALGOUYRES, R. - MORE, M. On the computational complexity of reachability in 2D binary images and some basic problems of 2D digital topology. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, JUN 11 2002, vol. 283, no. 1, p. 67-108. [WOS]
    --- DURAND, A. - MORE, M. Nonerasing, counting, and majority over the linear time hierarchy. INFORMATION AND COMPUTATION. ISSN 0890-5401, MAY 1 2002, vol. 174, no. 2, p. 132-142. [WOS]
    --- POLLETT, C. - PRUIM, R. Strengths and weaknesses of LH arithmetic. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2002, vol. 48, no. 2, p. 221-243. [WOS]
    --- MCALLISTER, A.M. Bounded Scott set saturation. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2002, vol. 48, no. 2, p. 245-259. [WOS]
    --- MONIRI, M. H-theories, fragments of HA and PA-normality. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JAN 2002, vol. 41, no. 1, p. 101-105. [WOS]
    --- AVIGAD, J. Update procedures and the 1-consistency of arithmetic. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2002, vol. 48, no. 1, p. 3-13. [WOS]
    --- MONIRI, M. Weak arithmetics and Kripke models. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2002, vol. 48, no. 1, p. 157-160. [WOS]
    --- MARGARIT, A.F. - MARTINI, F.F.L. Some results on L Delta(-)(n+1). MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2001, vol. 47, no. 4, p. 503-512. [WOS]
    --- MONTAGNA, F. - SEBASTIANI, V. Equational fragments of systems for arithmetic. ALGEBRA UNIVERSALIS. ISSN 0002-5240, 2001, vol. 46, no. 3, p. 417-441. [WOS]
    --- BEKLEMISHEV, L.D. Open least element principle and bounded query computation. COMPUTER SCIENCE LOGIC, PROCEEDINGS. ISSN 0302-9743, 1999, vol. 1683, p. 389-404. [WOS]
    --- KRISTIANSEN, L. Subrecursive degrees and fragments of Peano Arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JUL 2001, vol. 40, no. 5, p. 365-397. [WOS]
    --- DIMITRACOPOULOS, C. On end extensions of models of subsystems of peano arithmetic. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, APR 28 2001, vol. 257, no. 1-2, p. 79-84. [WOS]
    --- SUDAC, O. The prime number theorem is PRA-provable. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, APR 28 2001, vol. 257, no. 1-2, p. 185-239. [WOS]
    --- BENDOVA, K. On ordering and multiplication of natural numbers. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JAN 2001, vol. 40, no. 1, p. 19-23. [WOS]
    --- NIEBERGALL, K.G. On the logic of reducibility: Axioms and examples. ERKENNTNIS. ISSN 0165-0106, 2000, vol. 53, no. 1-2, p. 27-61. [WOS]
    --- IWAN, S. On the untenability of Nelson's predicativism. ERKENNTNIS. ISSN 0165-0106, 2000, vol. 53, no. 1-2, p. 147-154. [WOS]
    --- BURR, W. Fragments of Heyting arithmetic. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2000, vol. 65, no. 3, p. 1223-1240. [WOS]
    --- CORNAROS, C. - DIMITRACOPOULOS, C. A note on end extensions. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, AUG 2000, vol. 39, no. 6, p. 459-463. [WOS]
    --- CANTINI, A. Feasible operations and applicative theories based on lambda eta. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2000, vol. 46, no. 3, p. 291-311. [WOS]
    --- POLLETT, C. Translating I Delta(0) + exp proofs into weaker systems. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2000, vol. 46, no. 2, p. 249-256. [WOS]
    --- BAAZ, M. - EGLY, U. - FERMULLER, C.G. Lean induction principles for tableaux. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS. ISSN 0302-9743, 1997, vol. 1227, p. 62-75. [WOS]
    --- BEKLEMISHEV, L.D. Parameter free induction and provably total computable functions. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, AUG 6 1999, vol. 224, no. 1-2, p. 13-33. [WOS]
    --- DEVIDI, D. - SOLOMON, G. Tarksi on 'essentially richer' metalanguages. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, FEB 1999, vol. 28, no. 1, p. 1-28. [WOS]
    --- BUSS, S.R. Bounded arithmetic, proof complexity and two papers of Parikh. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAR 1 1999, vol. 96, no. 1-3, p. 43-55. [WOS]
    --- VODA, P.J. A simple ordinal recursive normalization of Godel's T. COMPUTER SCIENCE LOGIC. ISSN 0302-9743, 1998, vol. 1414, p. 491-509. [WOS]
    --- KOTLARSKI, H. Other proofs of old results. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 1998, vol. 44, no. 4, p. 474-480. [WOS]
    --- ARAI, T. Variations on a theme by Weiermann. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 1998, vol. 63, no. 3, p. 897-925. [WOS]
    --- BEKLEMISHEV, L.D. A proof-theoretic analysis of collection. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JUL 1998, vol. 37, no. 5-6, p. 275-296. [WOS]
    --- FERREIRA, F. - MARQUES, A. Extracting algorithms from intuitionistic proofs. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 1998, vol. 44, no. 2, p. 143-160. [WOS]
    --- JOHANNSEN, J. A model-theoretic property of sharply bounded formulae, with some applications. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 1998, vol. 44, no. 2, p. 205-215. [WOS]
    --- ZAMBELLA, D. End extensions of models of linearly bounded arithmetic. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, NOV 17 1997, vol. 88, no. 2-3, p. 263-277. [WOS]
    --- KIKUCHI, M. Kolmogorov complexity and the second incompleteness theorem. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, OCT 1997, vol. 36, no. 6, p. 437-443. [WOS]
    --- BEKLEMISHEV, L.D. Induction rules, reflection principles, and provably recursive functions. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAY 23 1997, vol. 85, no. 3, p. 193-242. [WOS]
    --- JOHANNSEN, J. On sharply bounded length induction. COMPUTER SCIENCE LOGIC. ISSN 0302-9743, 1996, vol. 1092, p. 362-367. [WOS]
    --- SHAVRUKOV, V.Y. Interpreting reflexive theories in finitely many axioms. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 1997, vol. 152, no. 2, p. 99-116. [WOS]
    --- CARBONE, A. - SEMMES, S. Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0273-0979, APR 1997, vol. 34, no. 2, p. 131-159. [WOS]
    --- TANAKA, K. The self-embedding theorem of WKL(o) and a non-standard method. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAR 6 1997, vol. 84, no. 1, p. 41-49. [WOS]
    --- ZAMBELLA, D. Notes on polynomially bounded arithmetic. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 1996, vol. 61, no. 3, p. 942-966. [WOS]
    --- BORREGODIAZ, J. - FERNANDEZMARGARIT, A. - PEREZJIMENEZ, M. On overspill principles and axiom schemes for bounded formulas. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 1996, vol. 42, no. 3, p. 341-348. [WOS]
    --- MONTAGNA, F. An algebraic treatment of quantifier-free systems of arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JUN 1996, vol. 35, no. 4, p. 209-224. [WOS]
    --- CEGIELSKI, P. Definability, decidability, complexity. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE. ISSN 1012-2443, 1996, vol. 16, no. 1-4, p. 311-341. [WOS]
    --- KOSSAK, R. - KOTLARSKI, H. On extending automorphisms of models of Peano Arithmetic. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 1996, vol. 149, no. 3, p. 245-263. [WOS]
    --- BEKLEMISHEV, L.D. Bimodal logics for extensions of arithmetical theories. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 1996, vol. 61, no. 1, p. 91-124. [WOS]
    --- SURESON, C. P, NP, Co-NP and weak systems of arithmetic. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, FEB 5 1996, vol. 154, no. 2, p. 145-163. [WOS]
    --- SOMMER, R. Transfinite induction within Peano arithmetic. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 27 1995, vol. 76, no. 3, p. 231-289. [WOS]
    --- MICHALSKI, G. RELATIVELY RECURSIVELY-ENUMERABLE VERSUS RELATIVELY SIGMA(1) IN MODELS OF PEANO ARITHMETIC. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 1995, vol. 41, no. 4, p. 515-522. [WOS]
    --- BERARDUCCI, A. - DAQUINO, P. DELTA(0)-COMPLEXITY OF THE RELATION Y=PI(I-LESS-THAN-OR-EQUAL-TO-N)F(I). ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, SEP 12 1995, vol. 75, no. 1-2, p. 49-56. [WOS]
    --- SURESON, C. NP-NOT-EQUAL-CO-NP AND MODELS OF ARITHMETIC. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, AUG 7 1995, vol. 147, no. 1-2, p. 55-67. [WOS]
    --- JUMELET, M. EULERS PHI-FUNCTION IN THE CONTEXT OF I-DELTA(0). ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, JUN 1995, vol. 34, no. 3, p. 197-209. [WOS]
    --- TAKEUTI, G. GRZEGORCYK HIERARCHY AND IEP-SIGMA(1). JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 1994, vol. 59, no. 4, p. 1274-1284. [WOS]
    --- VERBRUGGE, R. - VISSER, A. A SMALL REFLECTION PRINCIPLE FOR BOUNDED ARITHMETIC. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 1994, vol. 59, no. 3, p. 785-812. [WOS]
    --- FERNANDEZMARGARIT, A. - PEREZJIMENEZ, M.J.P. MAXIMUM SCHEMES IN ARITHMETIC. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 1994, vol. 40, no. 3, p. 425-430. [WOS]
    --- BUSS, S.R. - KRAJICEK, J. AN APPLICATION OF BOOLEAN COMPLEXITY TO SEPARATION PROBLEMS IN BOUNDED ARITHMETIC. PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY. ISSN 0024-6115, JUL 1994, vol. 69, Part 1, p. 1-21. [WOS]
    --- CORNAROS, C. - DIMITRACOPOULOS, C. On two problems concerning end extensions. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, JUN 2008, vol. 47, no. 1, p. 1-14. [WOS]
    --- KOSSAK, R. A note on a theorem of Kanovei. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2004, vol. 43, no. 4, p. 565-569. [WOS]
    --- SLAMAN, T.A. Sigma(n)-bounding and Delta(n)-induction. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0002-9939, 2004, vol. 132, no. 8, p. 2449-2456. [WOS]
    --- BERK, L. Why the liar does not matter (Lair's paradox, truth predicate). JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, JUN 2003, vol. 32, no. 3, p. 323-341. [WOS]
    --- COLSON, L. - GRIGORIEFF, S. Syntactical truth predicates for second order arithmetic. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2001, vol. 66, no. 1, p. 225-256. [WOS]
    --- GORIS, E. - JOOSTEN, J.J. Modal matters for interpretability logics. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, AUG 2008, vol. 16, no. 4, p. 371-412. [WOS]
    --- IMPENS, C. - SANDERS, S. Transfer and a supremum principle for ERNA. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, JUN 2008, vol. 73, no. 2, p. 689-710. [WOS]
    --- FISCHER, M. MINIMAL TRUTH AND INTERPRETABILITY. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, DEC 2009, vol. 2, no. 4, p. 799-815. [WOS]
    --- SHAVRUKOV, V.Y. Effectively inseparable Boolean algebras in lattices of sentences. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, JAN 2010, vol. 49, no. 1, p. 69-89. [WOS]
    --- JERABEK, E. APPROXIMATE COUNTING BY HASHING IN BOUNDED ARITHMETIC. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2009, vol. 74, no. 3, p. 829-860. [WOS]
    --- IMPENS, C. - SANDERS, S. SATURATION AND Sigma(2)-TRANSFER FOR ERNA. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2009, vol. 74, no. 3, p. 901-913. [WOS]
    --- NGUYEN, P. The equivalence of theories that characterize ALogTime. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, JUL 2009, vol. 48, no. 6, p. 523-549. [WOS]
    --- BEYERSDORFF, O. On the correspondence between arithmetic theories and propositional proof systems - a survey. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, APR 2009, vol. 55, no. 2, p. 116-137. [WOS]
    --- DZHAFAROV, D.D. - HIRST, J.L. The polarized Ramsey's theorem. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, APR 2009, vol. 48, no. 2, p. 141-157. [WOS]
    --- GANEA, M. ARITHMETIC ON SEMIGROUPS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2009, vol. 74, no. 1, p. 265-278. [WOS]
    --- ARAI, T. Non-elementary speed-ups in logic calculi. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, 2008, vol. 54, no. 6, p. 629-640. [WOS]
    --- NGUYEN, P. Proving Infinitude of Prime Numbers Using Binomial Coefficients. COMPUTER SCIENCE LOGIC, PROCEEDINGS. ISSN 0302-9743, 2008, vol. 5213, p. 184-198. [WOS]
    --- CORNAROS, C. Pell equations and weak Regularity Principles. LOGIC AND THEORY OF ALGORITHMS. ISSN 0302-9743, 2008, vol. 5028, p. 129-138. [WOS]
    --- BEYERSDORFF, O. Logical closure properties of propositional proof systems - (Extended abstract). THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS. ISSN 0302-9743, 2008, vol. 4978, p. 318-329. [WOS]
    --- DIMITRACOPOULOS, C. - SIROKOFSKICH, A. A note on Delta(1) induction. Mathematical Logic in Asia. 2006, p. 51-57. [WOS]
    --- NIEBERGALL, K.G. "Natural" representations and extensions of Godel's second theorem. Logic Colloquim 01, Proceedings. 2005, vol. 20, p. 350-368. [WOS]
    --- BOVYKIN, A. Several proofs of PA-unprovability. Logic and Its Applications. ISSN 0271-4132, 2005, vol. 380, p. 29-43. [WOS]
    --- BORREGO-DIAZ, J. - FERNANDEZ-MARGARIT, A. - PEREZ-JIMENEZ, M.J. On Sigma(N)-definability in arithmetic. PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE. 2003, vol. 320, p. 47-56. [WOS]
    --- RAZBOROV, A.A. Feasible proofs and computations: Partnership and fusion. 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS. ISSN 1043-6871, 2004, p. 134-138. [WOS]
    --- NIEBERGALL, K.G. Is ZF finitistically reducible?. ONE HUNDRED YEARS OF RUSSELL'S PARADOX: MATHEMATICS, LOGIC, PHILOSOPHY. ISSN 1438-1893, 2004, vol. 6, p. 153-180. [WOS]
    --- HURTER, T. Inconsistency in the real world. ONE HUNDRED YEARS OF RUSSELL'S PARADOX: MATHEMATICS, LOGIC, PHILOSOPHY. ISSN 1438-1893, 2004, vol. 6, p. 181-189. [WOS]
    --- AVIGAD, J. Ordinal analysis without proofs. REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS - ESSAYS IN HONOR OF SOLOMON FEFERMAN. 2002, vol. 15, p. 1-36. [WOS]
    --- FRIEDMAN, H.M. Internal finite tree embeddings. REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS - ESSAYS IN HONOR OF SOLOMON FEFERMAN. 2002, vol. 15, p. 60-91. [WOS]
    --- AVIGAD, J. Eliminating definitions and Skolem functions in first-order logic. 16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS. ISSN 1043-6871, 2001, p. 139-146. [WOS]
    --- WILLARD, D.E. Some specially formulated axiomizations for I Sigma(0) manage to evade the Herbrandized version of the Second Incompleteness Theorem. INFORMATION AND COMPUTATION. ISSN 0890-5401, OCT 2009, vol. 207, no. 10, Sp. Iss. SI, p. 1078-1093. [WOS]
    --- VISSER, A. CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MUNCHHAUSEN. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, SEP 2009, vol. 2, no. 3, p. 570-589. [WOS]
    --- VISSER, A. The predicative Frege hierarchy. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, AUG 2009, vol. 160, no. 2, p. 129-153. [WOS]
    --- HIRSCHFELDT, D.R. - SHORE, R.A. - SLAMAN, T.A. THE ATOMIC MODEL THEOREM AND TYPE OMITTING. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0002-9947, NOV 2009, vol. 361, no. 11, p. 5805-5837. [WOS]
    --- COOK, S. - KOLOKOLOVA, A. A second-order system for polytime reasoning using Gradel's theorem. 16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS. ISSN 1043-6871, 2001, p. 177-186. [WOS]
    --- KOTLARSKI, H. ON THE INCOMPLETENESS THEOREMS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 1994, vol. 59, no. 4, p. 1414-1419. [WOS]
    --- VISSER, A. An overview of interpretability logic. ADVANCES IN MODAL LOGIC, VOL 1. 1998, no. 87, p. 307-359. [WOS]
    --- MURAWSKI, R. Undefinability vs. definability of satisfaction and truth. ALFRED TARSKI AND THE VIENNA CIRCLE - AUSTRO-POLISH CONNECTIONS IN LOGICAL EMPIRICISM. ISSN 0929-6328, 1999, vol. 6, p. 203-215. [WOS]
    --- SHAVRUKOV, V.Y. Undecidability in diagonalizable algebras. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 1997, vol. 62, no. 1, p. 79-116. [WOS]
    --- KOMARA, J. - VODA, P.J. Syntactic reduction of predicate tableaux to propositional tableaux. THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS. 1995, vol. 918, p. 231-246. [WOS]
    --- AVIGAD, J. - DEAN, E.T. - RUTE, J. Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 2012, vol. 163, no. 12, p. 1854-1864. [WOS]
    --- FRITTAION, E. - MARCONE, A. Linear extensions of partial orders and reverse mathematics. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, NOV 2012, vol. 58, no. 6, p. 417-423. [WOS]
    --- VISSER, A. VAUGHT'S THEOREM ON AXIOMATIZABILITY BY A SCHEME. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, SEP 2012, vol. 18, no. 3, p. 382-402. [WOS]
    --- KETLAND, J. Validity as a primitive. ANALYSIS. ISSN 0003-2638, JUL 2012, vol. 72, no. 3, p. 421-430. [WOS]
    --- ADAMOWICZ, Z. - KOLODZIEJCZYK, L.A. - PARIS, J. TRUTH DEFINITIONS WITHOUT EXPONENTIATION AND THE Sigma(1) COLLECTION SCHEME. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, JUN 2012, vol. 77, no. 2, p. 649-655. [WOS]
    --- VISSER, A. The Second Incompleteness Theorem and Bounded Interpretations. STUDIA LOGICA. ISSN 0039-3215, APR 2012, vol. 100, no. 1-2, SI, p. 399-418. [WOS]
    --- KOLOKOLOVA, A. Expressing versus Proving: Relating Forms of Complexity in Logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, APR 2012, vol. 22, no. 2, SI, p. 267-280. [WOS]
    --- CHOLAK, P. - GALVIN, D. - SOLOMON, R. Reverse mathematics and infinite traceable graphs. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, FEB 2012, vol. 58, no. 1-2, p. 18-28. [WOS]
    --- GORIS, E. - JOOSTEN, J.J. Self provers and Sigma(1) sentences. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, FEB 2012, vol. 20, no. 1, p. 1-21. [WOS]
    --- MULLER, S. - TZAMERET, I. Short Propositional Refutations for Dense Random 3CNF Formulas. 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS). ISSN 1043-6871, 2012, p. 501-510. [WOS]
    --- HORIHATA, Y. Weak Theories of Concatenation and Arithmetic. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2012, vol. 53, no. 2, p. 203-222. [WOS]
    --- HECK, R.G. Ramified Frege Arithmetic. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, DEC 2011, vol. 40, no. 6, p. 715-735. [WOS]
    --- KOLODZIEJCZYK, L.A. Independence results for variants of sharply bounded induction. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 2011, vol. 162, no. 12, p. 981-990. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. A note on parameter free Pi(1)-induction and restricted exponentiation. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, OCT 2011, vol. 57, no. 5, p. 444-455. [WOS]
    --- JAPARIDZE, G. Introduction to clarithmetic I. INFORMATION AND COMPUTATION. ISSN 0890-5401, OCT 2011, vol. 209, no. 10, p. 1312-1354. [WOS]
    --- VISSER, A. Can We Make the Second Incompleteness Theorem Coordinate Free?. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, AUG 2011, vol. 21, no. 4, SI, p. 543-560. [WOS]
    --- SATO, K. The strength of extensionality II - Weak weak set theories without infinity. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, AUG 2011, vol. 162, no. 8, p. 579-646. [WOS]
    --- KRYNICKI, M. - TOMASIK, J. - ZDANOWSKI, K. Theories of initial segments of standard models of arithmetics and their complete extensions. THEORETICAL COMPUTER SCIENCE. ISSN 0304-3975, JUL 15 2011, vol. 412, no. 31, p. 3975-3991. [WOS]
    --- POLLETT, C. Conservative fragments of S-2(1) and R-2(1). ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2011, vol. 50, no. 3-4, p. 367-393. [WOS]
    --- SERENY, G. How do We Know that the Godel Sentence of a Consistent Theory Is True?(dagger). PHILOSOPHIA MATHEMATICA. ISSN 0031-8019, FEB 2011, vol. 19, no. 1, p. 47-73. [WOS]
    --- DE JONGH, D. - VERBRUGGE, R. - VISSER, A. Intermediate Logics and the de Jongh property. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, FEB 2011, vol. 50, no. 1-2, p. 197-213. [WOS]
    --- GORIS, E. - JOOSTEN, J.J. A new principle in the interpretability logic of all reasonable arithmetical theories. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, FEB 2011, vol. 19, no. 1, p. 1-17. [WOS]
    --- BUKOVSKY, L. Structure of the Real Line. STRUCTURE OF THE REAL LINE. 2011, vol. 71, p. 1-+. [WOS]
    --- ADAMOWICZ, Z. - ZDANOWSKI, K. Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2011, vol. 212, no. 3, p. 191-216. [WOS]
    --- MAYBERRY, J.P. Euclidean Arithmetic: The Finitary Theory of Finite Sets. FOUNDATIONAL THEORIES OF CLASSICAL AND CONSTRUCTIVE MATHEMATICS. 2011, vol. 76, p. 227-243. [WOS]
    --- JOOSTEN, J.J. Consistency statements and iterations of computable functions in I Sigma(1) and PRA. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, DEC 2010, vol. 49, no. 7-8, p. 773-798. [WOS]
    --- YOKOYAMA, K. FORMALIZING NON STANDARD ARGUMENTS IN SECOND ORDER ARITHMETIC. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2010, vol. 75, no. 4, p. 1199-1210. [WOS]
    --- CIESLINSKI, C. Deflationary Truth and Pathologies. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, JUN 2010, vol. 39, no. 3, p. 325-337. [WOS]
    --- ADAMOWICZ, Z. - KOLODZIEJCZYK, L.A. A note on the Sigma(1) collection scheme and fragments of bounded arithmetic. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, APR 2010, vol. 56, no. 2, p. 126-130. [WOS]
    --- CHONG, C.T. - LEMPP, S. - YANG, Y. ON THE ROLE OF THE COLLECTION PRINCIPLE FOR Sigma(0)(2)-FORMULAS IN SECOND-ORDER REVERSE MATHEMATICS. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0002-9939, MAR 2010, vol. 138, no. 3, p. 1093-1100. [WOS]
    --- BOUGHATTAS, S. - KOLODZIEJCZYK, L.A. The strength of sharply bounded induction requires MSP. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JAN 2010, vol. 161, no. 4, p. 504-510. [WOS]
    --- YOKOYAMA, K. On Pi(1)(1) conservativity for Pi(1)(2) theories in second order arithmetic. PROCEEDINGS OF THE 10TH ASIAN LOGIC CONFERENCE. 2010, p. 375-386. [WOS]
    --- BEKLEMISHEV, L.D. Godel incompleteness theorems and the limits of their applicability. I. RUSSIAN MATHEMATICAL SURVEYS. ISSN 0036-0279, 2010, vol. 65, no. 5, p. 857-899. [WOS]
    --- KOLODZIEJCZYK, L.A. - YOKOYAMA, K. Categorical characterizations of the natural numbers require primitive recursion. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, FEB 2015, vol. 166, no. 2, p. 219-231. [WOS]
    --- MULLER, S. - TZAMERET, I. Short propositional refutations for dense random 3CNF formulas. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 2014, vol. 165, no. 12, p. 1864-1918. [WOS]
    --- HECK, R.G. Predicative Frege Arithmetic and 'Everyday' Mathematics. PHILOSOPHIA MATHEMATICA. ISSN 0031-8019, OCT 2014, vol. 22, no. 3, p. 279-307. [WOS]
    --- CORDON-FRANCO, A. - LARA-MARTIN, F.F. Local induction and provably total computable functions. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, SEP 2014, vol. 165, no. 9, SI, p. 1429-1444. [WOS]
    --- FISCHER, M. TRUTH AND SPEED-UP. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2014, vol. 7, no. 2, p. 319-340. [WOS]
    --- BUSS, S.R. - KOLODZIEJCZYK, L.A. - THAPEN, N. FRAGMENTS OF APPROXIMATE COUNTING. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, JUN 2014, vol. 79, no. 2, p. 496-525. [WOS]
    --- FUJIWARA, M. - HIGUCHI, K. - KIHARA, T. On the strength of marriage theorems and uniformity. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, MAY 2014, vol. 60, no. 3, p. 136-153. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. On axiom schemes for T-provably formulas. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2014, vol. 53, no. 3-4, p. 327-349. [WOS]
    --- VISSER, A. Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, FEB 2014, vol. 60, no. 1-2, p. 92-117. [WOS]
    --- VISSER, A. Interpretability degrees of finitely axiomatized sequential theories. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, FEB 2014, vol. 53, no. 1-2, p. 23-42. [WOS]
    --- SHAVRUKOV, V.Y. - VISSER, A. Uniform Density in Lindenbaum Algebras. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2014, vol. 55, no. 4, p. 569-582. [WOS]
    --- BEKLEMISHEV, L. Positive provability logic for uniform reflection principles. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JAN 2014, vol. 165, no. 1, SI, p. 82-105. [WOS]
    --- SCHIEMER, G. - RECK, E.H. LOGIC IN THE 1930s: TYPE THEORY AND MODEL THEORY. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, DEC 2013, vol. 19, no. 4, p. 433-472. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. ON THE OPTIMALITY OF CONSERVATION RESULTS FOR LOCAL REFLECTION IN ARITHMETIC. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2013, vol. 78, no. 4, p. 1025-1035. [WOS]
    --- LEIGH, G.E. - NICOLAI, C. AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, DEC 2013, vol. 6, no. 4, p. 613-636. [WOS]
    --- KURAHASHI, T. On predicate provability logics and binumerations of fragments of Peano arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, NOV 2013, vol. 52, no. 7-8, p. 871-880. [WOS]
    --- CERNY, M. - ANTOCH, J. - HLADIK, M. On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data. INFORMATION SCIENCES. ISSN 0020-0255, SEP 20 2013, vol. 244, p. 26-47. [WOS]
    --- FERREIRA, F. - FERREIRA, G. INTERPRETABILITY IN ROBINSON'S Q. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, SEP 2013, vol. 19, no. 3, p. 289-317. [WOS]
    --- JOOSTEN, J.J. Pi(0)(1)-ordinal analysis beyond first-order arithmetic. MATHEMATICAL COMMUNICATIONS. ISSN 1331-0623, MAY 2013, vol. 18, no. 1, p. 109-121. [WOS]
    --- KURAHASHI, T. ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, MAR 2013, vol. 6, no. 1, p. 129-146. [WOS]
    --- CORNAROS, C. Weak forms of the Regularity Principle in the presence of IE1. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, FEB 2013, vol. 59, no. 1-2, p. 84-100. [WOS]
    --- YOKOYAMA, K. On the strength of Ramsey's theorem without sigma 1-induction. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, FEB 2013, vol. 59, no. 1-2, p. 108-111. [WOS]
    --- HALBACH, V. - VISSER, A. SELF-REFERENCE IN ARITHMETIC II. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, DEC 2014, vol. 7, no. 4, p. 692-712. [WOS]
    --- Raclavský, J. On the Czech Logic in the 20th Century. In Logic in Central and Eastern Europe. History, Science and Discourse. University Press of America 2013, p.283-291
    --- GANEA, M. A Remark on a Relational Version of Robinson's Arithmetic Q. ROMANIAN STUDIES IN PHILOSOPHY OF SCIENCE. ISSN 0068-0346, 2015, vol. 313, p. 125-130. [WOS]
    --- GANEA, M. Finitistic Arithmetic and Classical Logic. PHILOSOPHIA MATHEMATICA. ISSN 0031-8019, JUN 2014, vol. 22, no. 2, p. 167-197. [WOS]
    --- DE JONGH, D. - VERBRUGGE, R. - VISSER, A. Intermediate Logics and the de Jongh property. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, FEB 2011, vol. 50, no. 1-2, p. 197-213. [WOS]
    --- VISSER, A. The small-is-very-small principle. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, DEC 2019, vol. 65, no. 4, p. 453-478. [WOS]
    --- JERABEK, E. Induction rules in bounded arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846. [WOS]
    --- VISSER, A. From Tarski to Godel-or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, SEP 2019, vol. 29, no. 5, p. 595-604. [WOS]
    --- ENAYAT, A. - PAKHOMOV, F. Truth, disjunction, and induction. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, AUG 2019, vol. 58, no. 5-6, p. 753-766. [WOS]
    --- OMATA, Y. - PELUPESSY, F. Dickson's lemma and weak Ramsey theory. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2019, vol. 58, no. 3-4, p. 413-425. [WOS]
    --- FUJIMOTO, K. Deflationism beyond arithmetic. SYNTHESE. ISSN 0039-7857, MAR 2019, vol. 196, no. 3, SI, p. 1045-1069. [WOS]
    --- KENTARO, S. A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2019, vol. 84, no. 1, p. 226-265. [WOS]
    --- PAKHOMOV, F. - VISSER, A. ON A QUESTION OF KRAJEWSKI'S. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2019, vol. 84, no. 1, p. 343-358. [WOS]
    --- KOLODZIEJCZYK, L. - MICHALEWSKI, H. - PRADIC, P. - SKRZYPCZAK, M. THE LOGICAL STRENGTH OF BUCHI'S DECIDABILITY THEOREM. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2019, vol. 15, no. 2. [WOS]
    --- CZARNECKI, M. - ZDANOWSKI, K. A Modal Logic of a Truth Definition for Finite Models. FUNDAMENTA INFORMATICAE. ISSN 0169-2968, 2019, vol. 164, no. 4, p. 299-325. [WOS]
    --- WONG, T.L. On Wilkie and Paris's notion of fullness. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2019, vol. 245, no. 1, p. 79-100. [WOS]
    --- ISHIHARA, H. On Brouwer's continuity principle. INDAGATIONES MATHEMATICAE-NEW SERIES. ISSN 0019-3577, DEC 2018, vol. 29, no. 6, SI, p. 1511-1524. [WOS]
    --- KURAHASHI, T. On partial disjunction properties of theories containing Peano arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, NOV 2018, vol. 57, no. 7-8, p. 953-980. [WOS]
    --- FRITTAION, E. - PELUPESSY, F. - STEILA, S. - YOKOYAMA, K. The strength of SCT soundness. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, SEP 2018, vol. 28, no. 6, p. 1217-1242. [WOS]
    --- SVEJDAR, V. MODERN CZECH LOGIC: VOPENKA AND HAJEK, HISTORY AND BACKGROUND. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, SEP 2018, vol. 5, no. 6, SI, p. 1261-1271. [WOS]
    --- KURAHASHI, T. PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2018, vol. 83, no. 3, p. 1229-1246. [WOS]
    --- PICOLLO, L. REFERENCE IN ARITHMETIC. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, SEP 2018, vol. 11, no. 3, p. 573-603. [WOS]
    --- PATEY, L. - YOKOYAMA, K. The proof-theoretic strength of Ramsey's theorem for pairs and two colors. ADVANCES IN MATHEMATICS. ISSN 0001-8708, MAY 25 2018, vol. 330, p. 1034-1070. [WOS]
    --- POLLETT, C. On the finite axiomatizability of for all(Sigma)over-cap(1)(b)((R)over-cap(2)(1)). MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, APR 2018, vol. 64, no. 1-2, p. 6-24. [WOS]
    --- FERNANDEZ-DUQUE, D. - JOOSTEN, J.J. The omega-rule interpretation of transfinite provability logic. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, APR 2018, vol. 169, no. 4, p. 333-371. [WOS]
    --- BEKLEMISHEV, L.D. Reflection calculus and conservativity spectra. RUSSIAN MATHEMATICAL SURVEYS. ISSN 0036-0279, 2018, vol. 73, no. 4, p. 569-613. [WOS]
    --- ADAMOWICZ, Z. Restricted polynomial induction versus ordinary induction. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2018, vol. 242, no. 1, p. 75-92. [WOS]
    --- HECK, R.G. The Logical Strength of Compositional Principles. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2018, vol. 59, no. 1, p. 1-33. [WOS]
    --- BELANGER, D.R. - SHORE, R.A. On the Jumps of the Degrees Below a Recursively Enumerable Degree. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2018, vol. 59, no. 1, p. 91-107. [WOS]
    --- DAMNJANOVIC, Z. MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, DEC 2017, vol. 23, no. 4, p. 381-404. [WOS]
    --- AGUILERA, J.P. - FERNANDEZ-DUQUE, D. Verification logic. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2017, vol. 27, no. 8, p. 2451-2469. [WOS]
    --- FISCHER, M. - NICOLAI, C. - HORSTEN, L. Iterated reflection over full disquotational truth. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2017, vol. 27, no. 8, p. 2631-2651. [WOS]
    --- BRATTKA, V. - RAKOTONIAINA, T. ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY'S THEOREM. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2017, vol. 82, no. 4, p. 1278-1316. [WOS]
    --- FREUND, A. Slow reflection. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 2017, vol. 168, no. 12, p. 2103-2128. [WOS]
    --- GLIVICKY, P. - KALA, V. Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, NOV 2017, vol. 63, no. 3-4, p. 162-174. [WOS]
    --- FERNANDEZ-DUQUE, D. WORMS AND SPIDERS: REFLECTION CALCULI AND ORDINAL NOTATION SYSTEMS. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, NOV 2017, vol. 4, no. 10, SI, p. 3279-3360. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-DUQUE, D. - JOOSTEN, J.J. - LARA-MARTIN, F.F. PREDICATIVITY THROUGH TRANSFINITE REFLECTION. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2017, vol. 82, no. 3, p. 787-808. [WOS]
    --- TSELISHCHEV, V.V. THE TRUTH OF UNDECIDABLE SENTENCES IN THE PERSPECTIVE OF GODEL'S FIRST INCOMPLETENESS THEOREM. TOMSK STATE UNIVERSITY JOURNAL. ISSN 1561-7793, AUG 2017, no. 421, p. 53-58. [WOS]
    --- FREUND, A. Proof lengths for instances of the Paris-Harrington principle. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JUL 2017, vol. 168, no. 7, p. 1361-1382. [WOS]
    --- ENAYAT, A. - WONG, T.L. Unifying the model theory of first-order and second-order arithmetic via WKL0. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JUN 2017, vol. 168, no. 6, p. 1247-1283. [WOS]
    --- PELUPESSY, F. Monomial ideals and independence of vertical bar Sigma(2). MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, APR 2017, vol. 63, no. 1-2, p. 59-65. [WOS]
    --- SPERANSKI, S.O. Notes on the Computational Aspects of Kripke's Theory of Truth. STUDIA LOGICA. ISSN 0039-3215, APR 2017, vol. 105, no. 2, p. 407-429. [WOS]
    --- KIKUCHI, M. - KURAHASHI, T. UNIVERSAL ROSSER PREDICATES. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2017, vol. 82, no. 1, p. 292-302. [WOS]
    --- BLANCK, R. - ENAYAT, A. MARGINALIA ON A THEOREM OF WOODIN. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2017, vol. 82, no. 1, p. 359-374. [WOS]
    --- CARLUCCI, L. - KOLODZIEJCZYK, L.A. - LEPORE, F. - ZDANOWSKI, K. New Bounds on the Strength of Some Restrictions of Hindman's Theorem. UNVEILING DYNAMICS AND COMPLEXITY, CIE 2017. ISSN 0302-9743, 2017, vol. 10307, p. 210-220. [WOS]
    --- GODZISZEWSKI, M.T. Experimental Logics as a Model of Development of Deductive Science and Computational Properties of Undecidable Sentences. MAKING IT FORMALLY EXPLICIT: PROBABILITY, CAUSALITY AND INDETERMINISM. ISSN 2365-4228, 2017, vol. 6, p. 231-242. [WOS]
    --- TZAMERET, I. - COOK, S.A. Uniform, Integral and Efficient Proofs for the Determinant Identities (Extended Abstract). 2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS). ISSN 1043-6871, 2017. [WOS]
    --- HETZL, S. - WONG, T.L. SOME OBSERVATIONS ON THE LOGICAL FOUNDATIONS OF INDUCTIVE THEOREM PROVING. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2017, vol. 13, no. 4. [WOS]
    --- FRITTAION, E. Brown's lemma in second-order arithmetic. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2017, vol. 238, no. 3, p. 269-283. [WOS]
    --- VISSER, A. On Q. SOFT COMPUTING. ISSN 1432-7643, JAN 2017, vol. 21, no. 1, p. 39-56. [WOS]
    --- KOLODZIEJCZYK, L.A. END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2016, vol. 81, no. 3, p. 901-916. [WOS]
    --- WONG, T.L. INTERPRETING WEAK KONIG'S LEMMA USING THE ARITHMETIZED COMPLETENESS THEOREM. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0002-9939, SEP 2016, vol. 144, no. 9, p. 4021-4024. [WOS]
    --- GARLIK, M. Construction of models of bounded arithmetic by restricted reduced powers. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, AUG 2016, vol. 55, no. 5-6, p. 625-648. [WOS]
    --- ADAMOWICZ, Z. - CORDON-FRANCO, A. - LARA-MARTIN, F.F. EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, JUN 2016, vol. 81, no. 2, p. 774-788. [WOS]
    --- VISSER, A. Transductions in arithmetic. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAR 2016, vol. 167, no. 3, p. 211-234. [WOS]
    --- NICOLAI, C. A Note on Typed Truth and Consistency Assertions. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, FEB 2016, vol. 45, no. 1, p. 89-119. [WOS]
    --- JAPARIDZE, G. BUILD YOUR OWN CLARITHMETIC I: SETUP AND COMPLETENESS. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2016, vol. 12, no. 3. [WOS]
    --- NICOLAI, C. More on Systems of Truth and Predicative Comprehension. OBJECTIVITY, REALISM, AND PROOF: FILMAT STUDIES IN THE PHILOSOPHY OF MATHEMATICS. ISSN 0068-0346, 2016, vol. 318, p. 265-290. [WOS]
    --- DIMITRACOPOULOS, C. - PASCHALIS, V.S. End Extensions of Models of Weak Arithmetic Theories. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2016, vol. 57, no. 2, p. 181-193. [WOS]
    --- STERN, J. Toward Predicate Approaches to Modality. TOWARD PREDICATE APPROACHES TO MODALITY. ISSN 1572-6126, 2016, vol. 44, p. 1-190. [WOS]
    --- NICOLAI, C. Deflationary truth and the ontology of expressions. SYNTHESE. ISSN 0039-7857, DEC 2015, vol. 192, no. 12, SI, p. 4031-4055. [WOS]
    --- HECK, R.G. CONSISTENCY AND THE THEORY OF TRUTH. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, SEP 2015, vol. 8, no. 3, p. 424-466. [WOS]
    --- FISCHER, M. - HORSTEN, L. THE EXPRESSIVE POWER OF TRUTH. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2015, vol. 8, no. 2, p. 345-369. [WOS]
    --- GARLIK, M. A new proof of Ajtai's completeness theorem for nonstandard finite structures. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2015, vol. 54, no. 3-4, p. 413-424. [WOS]
    --- GALINON, H. DEFLATIONARY TRUTH: CONSERVATIVITY OR LOGICALITY?. PHILOSOPHICAL QUARTERLY. ISSN 0031-8094, APR 2015, vol. 65, no. 259, p. 268-274. [WOS]
    --- ACHOURIOTI, T. - FUJIMOTO, K. - GALINON, H. - MARTINEZ-FERNANDEZ, J. Unifying the Philosophy of Truth Introduction. UNIFYING THE PHILOSOPHY OF TRUTH. 2015, vol. 36, p. 1-53. [WOS]
    --- FISCHER, M. Deflationism and Instrumentalism. UNIFYING THE PHILOSOPHY OF TRUTH. 2015, vol. 36, p. 293-306. [WOS]
    --- ENAYAT, A. - VISSER, A. New Constructions of Satisfaction Classes. UNIFYING THE PHILOSOPHY OF TRUTH. 2015, vol. 36, p. 321-335. [WOS]
    --- VISSER, A. The Arithmetics of a Theory. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2015, vol. 56, no. 1, p. 81-119. [WOS]
    --- HANIKOVA, Z. Petr Hajek: A Scientific Biography. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 21-38. [WOS]
    --- BEHOUNEK, L. - HANIKOVA, Z. Set Theory and Arithmetic in Fuzzy Logic. PETR HAJEK ON MATHEMATICAL FUZZY LOGIC. ISSN 2211-2766, 2015, vol. 6, p. 63-89. [WOS]
    --- DANCAK, M. The Intuitionistic Robinson Arithmetic(s). LOGICA YEARBOOK 2014. 2015, p. 77-90. [WOS]
    --- SVEJDAR, V. On Strong Fragments of Peano Arithmetic. LOGICA YEARBOOK 2014. 2015, p. 281-291. [WOS]
    --- GAUTHIER, Y. Towards an Arithmetical Logic: The Arithmetical Foundations of Logic. TOWARDS AN ARITHMETICAL LOGIC: THE ARITHMETICAL FOUNDATIONS OF LOGIC. 2015. [WOS]
    --- CORDON-FRANCO, A. - FERNANDEZ-MARGARIT, A. - LARA-MARTIN, F.F. On axiom schemes for T-provably formulas. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2014, vol. 53, no. 3-4, p. 327-349. [WOS]
    --- KURAHASHI, T. On predicate provability logics and binumerations of fragments of Peano arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, NOV 2013, vol. 52, no. 7-8, p. 871-880. [WOS]
    --- SCHWICHTENBERG, H. - WAINER, S.S. Proofs and Computations. PROOFS AND COMPUTATIONS. 2012, p. 1-465. [WOS]
    --- ARAI, T. PROVABLY Delta(0)(2) AND WEAKLY DESCENDING CHAINS. PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE: IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY. 2012, p. 1-21. [WOS]
    --- POLLETT, C. Conservative fragments of S-2(1) and R-2(1). ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2011, vol. 50, no. 3-4, p. 367-393. [WOS]
    --- KUZNETSOV, S.L. - SPERANSKI, S.O. Infinitary action logic with exponentiation. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, FEB 2022, vol. 173, no. 2. [WOS]
    --- JERABEK, E. Iterated multiplication in VTC0. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846. [WOS]
    --- BLANCK, R. HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, SEP 2021, vol. 14, no. 3, p. 624-644. [WOS]
    --- JOOSTEN, J.J. MUNCHHAUSEN PROVABILITY. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2021, vol. 86, no. 3, p. 1006-1034. [WOS]
    --- VISSER, A. ENAYAT THEORIES. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, AUG 2021, vol. 8, no. 7, p. 2073-2117. [WOS]
    --- KURAHASHI, T. On Inclusions Between Quantified Provability Logics. STUDIA LOGICA. ISSN 0039-3215. [WOS]
    --- LELYK, M. - WCISLO, B. Local collection and end-extensions of models of compositional truth. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JUN 2021, vol. 172, no. 6. [WOS]
    --- MOUNT, B.M. - WAXMAN, D. Stable and Unstable Theories of Truth and Syntax. MIND. ISSN 0026-4423, APR 2021, vol. 130, no. 518, p. 439-473. [WOS]
    --- TZAMERET, I. - COOK, S.A. Uniform, Integral, and Feasible Proofs for the Determinant Identities. JOURNAL OF THE ACM. ISSN 0004-5411, MAR 2021, vol. 68, no. 2. [WOS]
    --- CIESLINSKI, C. Interpreting the compositional truth predicate in models of arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, AUG 2021, vol. 60, no. 6, p. 749-770. [WOS]
    --- BORREGO-DIAZ, J. Algebraic combinatorics in bounded induction. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, FEB 2021, vol. 172, no. 2. [WOS]
    --- VISSER, A. The absorption law Or: how to Kreisel a Hilbert-Bernays-Lob. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2021, vol. 60, no. 3-4, p. 441-468. [WOS]
    --- PAKHOMOV, F. - ZAPRYAGAEV, A. Multi-dimensional interpretations of Presburger arithmetic in itself. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, DEC 2020, vol. 30, no. 8, p. 1681-1693. [WOS]
    --- BRAUER, E. Mirroring Theorems in Free Logic. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, NOV 2020, vol. 61, no. 4, p. 561-572. [WOS]
    --- FERNANDEZ-DUQUE, D. - SHAFER, P. - YOKOYAMA, K. Ekeland's variational principle in weak and strong systems of arithmetic. SELECTA MATHEMATICA-NEW SERIES. ISSN 1022-1824, OCT 2 2020, vol. 26, no. 5. [WOS]
    --- KURAHASHI, T. A NOTE ON DERIVABILITY CONDITIONS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2020, vol. 85, no. 3, p. 1224-1253. [WOS]
    --- CHONG, C.T. - LI, W. - WANG, W. - YANG, Y. On the strength of Ramsey's theorem for trees. ADVANCES IN MATHEMATICS. ISSN 0001-8708, AUG 5 2020, vol. 369. [WOS]
    --- KOLODZIEJCZYK, L.A. - YOKOYAMA, K. Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs. SELECTA MATHEMATICA-NEW SERIES. ISSN 1022-1824, JUL 21 2020, vol. 26, no. 4. [WOS]
    --- VISSER, A. ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2020, vol. 13, no. 2, p. 269-295. [WOS]
    --- KRISTIANSEN, L. - MURWANASHYAKA, J. First-order concatenation theory with bounded quantifiers. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, FEB 2021, vol. 60, no. 1-2, p. 77-104. [WOS]
    --- ENAYAT, A. - LELYK, M. - WCISLO, B. TRUTH AND FEASIBLE REDUCIBILITY. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2020, vol. 85, no. 1, p. 367-421. [WOS]
    --- GORIS, E. - JOOSTEN, J.J. TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2020, vol. 85, no. 1, p. 1-25. [WOS]
    --- BAHRAMI, S. Tanaka's theorem revisited. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, NOV 2020, vol. 59, no. 7-8, p. 865-877. [WOS]
    --- DIMITRACOPOULOS, C. - PASCHALIS, V. End extensions of models of fragments of PA. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, NOV 2020, vol. 59, no. 7-8, p. 817-833. [WOS]
    --- BYDZOVSKY, J. - MULLER, M. Polynomial time ultrapowers and the consistency of circuit lower bounds. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, FEB 2020, vol. 59, no. 1-2, p. 127-147. [WOS]
    --- SHAVRUKOV, V.Y. R.e. prime powers and total rigidity. ADVANCES IN MATHEMATICS. ISSN 0001-8708, JAN 22 2020, vol. 360. [WOS]
    --- CARLUCCI, L. - KOLODZIEJCZYK, L.A. - LEPORE, F. - ZDANOWSKI, K. New bounds on the strength of some restrictions of Hindman's Theorem. COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE. ISSN 2211-3568, 2020, vol. 9, no. 2, p. 139-153. [WOS]
    --- DAS, A. ON THE LOGICAL COMPLEXITY OF CYCLIC ARITHMETIC. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2020, vol. 16, no. 1. [WOS]
    --- ZDANOWSKI, K. Truth definition for Delta(0) formulas and PSPACE computations. FUNDAMENTA MATHEMATICAE. ISSN 0016-2736, 2020, vol. 252, no. 1, p. 1-38. [WOS]
    --- JERABEK, E. Induction rules in bounded arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, MAY 2020, vol. 59, no. 3-4, p. 461-501. [WOS]
    --- ZAPRYAGAEV, A. - PAKHOMOV, F. Interpretations of Presburger Arithmetic in Itself. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018). ISSN 0302-9743, 2018, vol. 10703, p. 354-367. [WOS]

    Permanent Link: http://hdl.handle.net/11104/0122295
     

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.